[coreboot] LINUXBIOS -> COREBOOT Options

Hello,
Is someone going to update the coreboot Options page on the wiki. It  
still has LINUXBIOS* options that have been changed to COREBOOT for  
example:

LINUXBIOS_EXTRA_VERSION

is now

COREBOOT_EXTRA_VERSION

Thanks - Joe