https://blog.bmaehr.com/dual-boot-problem/