Re: [coreboot] Windows only seeing 2GB of 4G (Seabios