[OpenBIOS] [PATCH v2] README: change reference from LinuxBIOS to coreboot