Add prebuilt kernel to device tree instead of vendor