Re: [OpenBIOS] [PATCH] Read size of installed memory from LinuxBIOS table