+*--nokernel*::
+
+ Skip installation of default kernel images. This option might be
+ interesting for you if you want a Debian system which doesn't
+ need to provide regular boot, e.g. a system which provides
+ ISOs for booting via GRUB using grml-rescueboot.
+