Not actually used by the android build, but I should keep better track. Based on .config-device in the Android tree.