Update kernel32.s