Re: [coreboot] freebsd