s/installboot/installkernel/, so it won't be confused with a real installboot.