⁠7.2. Booting with Windows