void openbios_init_raminfo(void);
On a system that contains an OpenBIOS ROM monitor, add the system RAM information.