Support dual-booting with Windows, when setting up grub
(for laptops only, I think).