microblaze: page.h: Remove get_user_page and free_user_page