Arch and Windows dual-boot woes