OK, for anyone else who might come across this, here is the solution:
Go to the console and type dmesg > filenameofyourchoice.txt
Examine filenameofyourchoice.txt
Find this section (was at the top for me):
Note the number in bold.
Then as a grub parameter instead of mem=4096M use:
memmap=4096M$0x100000000
Obviously, replace 4096M with whatever you actually want and 0x100000000 with whatever your last line is that says useable.
Go to the console and type dmesg > filenameofyourchoice.txt
Examine filenameofyourchoice.txt
Find this section (was at the top for me):
Code:
/bin/dmesg: ... BIOS-provided physical RAM map: BIOS-e820: 0000000000000000 - 000000000009ec00 (usable) BIOS-e820: 000000000009ec00 - 00000000000a0000 (reserved) <snip> BIOS-e820: 0000000100000000 - 0000000100600000 (usable)
Then as a grub parameter instead of mem=4096M use:
memmap=4096M$0x100000000
Obviously, replace 4096M with whatever you actually want and 0x100000000 with whatever your last line is that says useable.