Re: [PATCH 2/7] global_data.h: Change ram_top type to phys_addr_t