[U-Boot] [PATCH v2 0/8] x86: Support booting Linux kernel on Intel Galileo