I've tried both patches. It seems like everything works pretty well. So
vdpainfo now shows the supported formats. The 1080p video plays without any
problem (I also use kwin, xrender in particular) in mplayer. Top showed
decrease in CPU usage while using VDPAU.
Dave, thank you for the fast fix.