- make sure bootprofile 'default' is set if no other boot
  profile was specified