tree 499ecbbce095b0b04202494f185818f003f123dc
parent e6378e1da2eafb2facef8e0fe904ac1194d4fd62
author Bin Meng <bmeng.cn@gmail.com> 1440689896 -0700
committer Simon Glass <sjg@chromium.org> 1441806483 -0600

x86: doc: Change to use CONFIG_VGA_BIOS_ADDR

CONFIG_X86_OPTION_ROM_ADDR has been renamed to CONFIG_VGA_BIOS_ADDR.
Update the doc to refer to the new name.

Signed-off-by: Bin Meng <bmeng.cn@gmail.com>
Acked-by: Simon Glass <sjg@chromium.org>
Tested-by: Simon Glass <sjg@chromium.org>