Re: [SeaBIOS] ram_probe() displays wrong size for RamSizeOver4G