[coreboot] FreeBSD Coreboot support