device tree to build KitKat