[coreboot] server board support - Supermicro H8DGi-F ?