11にしようと思ったけどBIOSの設定変えるのめんどくさい