[U-Boot] Pull request for u-boot-x86