Redirecting to Kernel-with-device-tree