[U-Boot] [PATCH 2/2] x86: Add support for booting Linux using the 32 bit boot protocol