俺はUEFIのデフォルトをGRUBにしてGRUBのOS選択を前回起動時のOSがデフォルト設定になるようにしてるよ
いちいちF12連打で切り替えとかアホくさい