K 10
svn:author
V 8
jpaetzel
K 8
svn:date
V 27
2012-03-19T22:52:19.141258Z
K 7
svn:log
V 262
MFC: 232681

Work around broken BIOS memory reporting

Andrzej has a machine with 32GB of RAM, but only 16GB is reported by the
smbios.memory.enabled.  Thus, use the greater of hw.realmem and the smbios
value.

Reported by:	Andrzej Tobola <ato of iem pw edu pl>

END