[OpenBIOS] [PATCH] README: change reference from LinuxBIOS to Coreboot