Detail:
  Currently only supporte the Portable_Idle and Portable_Features SWIs.
  Portable_Idle is implemented using the WFI instruction found in ARMv6K+, but the module should compile and run on any architecture.
Admin:
  Tested on rev C2 beagleboard

Version 0.68. Tagged as 'PortableHAL-0_68'