[U-Boot] u-boot <=> kernel compatibility?