That's correct. The files that are recorded to the SD card are 8bit, 4:2:0 at about 25 Mbps. I don't believe that it is on the spec sheet rather it is a part of the AVCHD spec itself. At this bit rate in H.264, 8bit 4:2:0 is what it's going to be.
Co-President at fourB Productions, Inc.
Blackmagic Cinema Camera, RED Scarlet-X
2011 Macbook Pro 17", 2.3 Ghz Quad Core, 16GB RAM
2008 Mac Pro 2.6 Ghz 8 Core, 10GB RAM
AJA IoXT, Blackmagic Intensity Pro, Blackmagic Mini Monitor
Adobe Production Premium CC, Avid Media Composer 7, Final Cut Pro Studio 3