[Firmware-dev] OpenPandora Development OS (274): Patch for TI SGX 4.04.00.03 drivers to compile against kernel 3.2.1 - Comment added