christos 6bed56a8b5 Fix the build, we don't support installboot for ia64		2017-01-09 13:36:22 +00:00
..
cdroms	…
Makefile	…