Hmm. Do a verbose boot and post the dmesg output. Lets see what memory list the kernel gets from the BIOS. -Matt