The text 2e3fb0a1abfc, as Debian 13 (Trixie), Debian 12 (Bookworm) shipped it.
extract the dmesg from a vmcore
vmcore-dmesg(8) on Linux now
