Re: [coreboot] minimum linuxbios