Remove stuff for building boot servers
(that stuff does not belong here).