Re: [coreboot] KGPE-D16 BMC port