Re: [coreboot] Add bootorder file for Seabios