[coreboot] coreboot/LinuxBoot on Supermicro server boards