Re: [coreboot] Question about dual operating systems