I have been looking to buy a 9020 for a nice little home server. Didn’t know it has coreboot support now.