[coreboot] R: freebsd