SQUASH ME: more missed kernel_pid_ts