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