[CSRSS]: Fix yet another bug in the unused csrss code.