I have a Dell Latitude E6440 with an HD 4600 which isn't Vulkan-compatible, so on Linux I can only game with OpenGL, which gives me worse performance than DirectX on Windows. What do you recommend — keeping a dual boot with Windows for gaming, or just sticking with OpenGL on Linux?
It depends. Why do you need Linux?