0b879f1cfc
can be booted directly from Multiboot-compliant boot loaders (e.g. GRUB). See the added multiboot(8) manual page for more information. No objections in tech-kern@; only positive comments.