[coreboot] LinuxBIOS V1 ?!