Update device tree to use a prebuilt kernel