Move prebuilt kernel stuff to BoardConfig
Add TARGET_PROVIDES_GPS_LOC_API flag