Re: [U-Boot] [PATCH 2/3] x86: doc: Change to use CONFIG_VGA_BIOS_ADDR