[Linaro-mm-sig] Patches for Contiguous Memory Allocator and get_user_pages()