Re: [coreboot] unable to boot linux with coreboot, now with FreeBSD