LinuxBIOS and 4G+ memory

[Stefan Reinauer]

Hi,

does LinuxBIOS on Opteron cleanly handle 4+G of memory? I have a machine
with 4G here for the first time, but I seem to end up with some of the
memory missing.

[..]
totalram: 3840M

How would Linux clear ECC memory >4G in this case? using PAE? Long mode
is not available yet..

Stefan