rtxen: fix cpumasks in rtglobal