Re: [PATCH v2 10/13] arch, mm: set high_memory in free_area_init()