[U-Boot] [PATCH 00/12] x86: Support booting SeaBIOS