hw/arm_boot.c: Consistently use ram_size from arm_boot_info struct