Re: [coreboot] seabios change to boot from last boot device for gPXE or other option rom booting