x86: fix vmap arguments in map_irq_stack