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

                                                -Matt

Reply via email to