# BASELINE vkernel (pre-fix, built from unmodified /usr/src at 09:48 UTC):
# cpu_sanitize_frame @0x71dd30 (kernel.debug):
#   71dd53: 25 d5 4d 27 00   and $0x274dd5,%eax    <- mask INCLUDES 0x20000 (PSL_VM_UNSUPP)
#   71dd58: 48 0d 02 02 ...  or  $0x202,%rax
# sys_sigreturn @0x71dd80:
#   71ddd4: 48 81 e6 ff ff fd ff   and $0xfffffffffffdffff,%rsi   <- VM stripped from CHECK copy only
#   71de45: ba c8 00 00 00         mov $0xc8,%edx                 <- 200-byte RAW bcopy (mc_rdi..mc_ss incl. mc_rflags)
# (captured live during the run; see run_suite.log for the matching binary MD5 era)