nodemask: fix the declaration of NODEMASK_ALLOC()