Re: [PATCH v2 03/10] global_data.h: Change ram_top type to phys_addr_t