After the win 10 anniversary update boot is slow. Traced problem to dxgkrnl.sys not loading at boot. Seems to be connected to display/graphics driver ?? This came on suddenly after win 10 update and a boot-time virus scan using Defender that found and removed a key stroke virus. Maybe I need an update driver, but I cannot find it. Boot log says NOT-LOADED dxgkrnl.sys- 5 times during boot. Any one else have this issue?