x86, mcheck: Use correct cpumask for shared bank4