The text d60df613bdca, as Debian 9 (Stretch) shipped it.
check the format of a Multiboot kernel
mbchk(1) on Linux now
