mm/microblaze: use free_highmem_page() to free highmem pages into buddy system