[coreboot] Re: Status on Dell OptiPlex 7010 support