BBBAndroid kernel header files (from 3.8.13)