sysemu.h: Document what MAX_CPUMASK_BITS really limits