I stopped dual-booting Linux, and a virtual machine covers everything I actually used it for