[coreboot] CoreBIOS: a viable option for me?