x86: use cpumask_var_t in acpi/boot.c