don't leave out coreboot support