出荷時に最新版に書き換えられているだろうと確認したら、2回ほど前のものだったので、公式から最新BIOSファイルをDLしてUSBメモリに移動させる前に、なんとなくBIOS画面を確認しに行ったらその場でオンラインアップデートができた。 それとはそうとiPadmini…