Makefile rules tweak for BootingFromHc