The linux kernel can only use the memory passed to it by the BIOS.
Sometimes they need special BIOS setup options to enable remapping. If
there are no such options and you can't upgrade it you're out of luck
I would suggest you contact your system vendor.
-Andi
--