Rework installboot and use a single directory with a single makefile. Thedirectory per machine model is arguably cleaner, however it does not playwell with distrib/special and instbin.Discussed with deraadt@