[coreboot] Questions about Supermicro X10SL7-F potential with coreboot