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