VgaSDL: fix some graphics glitches caused by 71cea8f271527351cbd03550a9b62b35abc46230