The text af7a23d0f6c9, as Debian 13 (Trixie) shipped it.
set the machine check memory corruption kill policy
PR_MCE_KILL(2const) on Linux now
