[U-Boot] [PATCH] x86: zImage: pass device tree setup data to the kernel