Re: [U-Boot] [RFC PATCH] x86: Support booting SeaBIOS