最近のWin10の大型アップデートはわりとGRUB残してくれる (いつからか明確には覚えてないけど多分1709か1803くらいくらいから