[coreboot] First commercially available coreboot for Intel Xeon-SP