[Firmware-dev] OpenPandora Development OS (273): TI SGX driver package selection - Comment added