Add kernel.iso to "all" target