Fix kernel dtb building