at /boot/config-2.6.24-23-generic | grep HIGH
This will show your kernel memory configuration
CONFIG_HIGHMEM=y
CONFIG_HIGHPTE=y
CONFIG_HIGH_RES_TIMERS=y
# CONFIG_NOHIGHMEM is not set
CONFIG_HIGHMEM4G=y
# CONFIG_HIGHMEM64G is not set
Ensure CONFIG_HIGHMEM is set to y and CONFIG_HIGHMEM4G is set to y
also you can try with the server kernel what is configured to support 64GB by default
if HIGHMEM and HIGIMEM4G are enabled it's a BIOS problem
http://uk.answers.yahoo.com/question/index?qid=20090727102210AAtoEc7
Reference: http://ubuntuforums.org/showthread.php?t=1030027