[PATCH v6 1/2] ntoskrnl.exe: implement KeQueryMaximumProcessorCount/Ex.