[nickr]

I guess one would need some sort of hdmi analyser to really know.

EDIT: I really doubt that the RPi will be downscaling a 1080p frame to half resolution, then upscaling it again to build a frame packed output. That just does not make sense.