Re: [U-Boot] [PATCH v2 1/3] x86: Support booting SeaBIOS