Remove .hi-boot-[56] stuff from the Makefile