ISO: improve formatting for kernel options
install-to-disk: mention ISO as a way to install