Understanding and fixing some issues with running Dual Boot Windows and Linux