kernel - refactor CPUMASK_ADDR()