[beagleboard] Error building SGX Modules for BeagleBoard-xM: [Ubuntu 12.10] [TI GfxSDK 4.08.00.01]

Thanks for the bug report, it's now fixed:

https://github.com/RobertCNelson/stable-kernel/commit/271564103db60711d851fa27beeade091d514b11

We use the distro package anyways, so it was just wasting clock cycles
building it..

Regards,