Waldemar Brodkorb 13318ddbb6 fixes for make bulkallmod 12 jaren geleden
..
patches 5bd343f06c add Kexec kernel option to menu, fix usage of shutdown -r in kexec 13 jaren geleden
Makefile 13318ddbb6 fixes for make bulkallmod 12 jaren geleden