added option to control the default boot menu option