[coreboot] Re: PC with coreboot - boot menu locked