garbled 21bc41f1ad Modify these makefiles to use the new mkbootimage.. hopefully I got this ... right.		2006-03-23 18:51:19 +00:00
..
Makefile.inc	…