Change kernel according to device tree and AOSP