config.cfg: change the default bootloader