On a laptop, the only option I'm aware of is if your VGA hardware has the ability to "clone" the overlay to HD output.
This isn't exactly what you'd get from a real output card, as it's both limited to the resolution/rate of the overlay and limited by whatever magic the VGA hardware has to go through to make it come out HD, but it's better than nothing.