according to this paper and this paper
you can use pxe pdk 2.0
to boot machine into windows' Remote Desktop.