In the OS: there isn't; the kernel supports tons of RAM, and there is
no-longer a separate installation for "big-smp" systems with lots of RAM,
or for x86_64 system separately from x86_32 systems with lots of RAM.

The BIOS is virtual, so check with your virtualization provider (VMware I
think you said).

--
Good luck.

If you find this post helpful and are logged into the web interface,
show your appreciation and click on the star below...