x86/mm: Use mm_alloc() in poking_init()