Using a quicklist to allocate PTEs might be slightly faster than using
the page allocator directly since we might avoid zeroing the page
after each allocation.
Signed-off-by: NHaavard Skinnemoen <haavard.skinnemoen@atmel.com>