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