Small/medium memory chunks (up to 128k) can be obtained from kmalloc()
directly, for all the architectures we support.

For the time being, we allocate potentially larger chunks from
alloc_pages_exact() through the new xnarch_alloc_pages() generic
wrapper, which gives us physically contiguous memory.