Raspberry Pi device tree for Android