Read the size of the available memory from parameters passed to the kernel by firmware.