As the raspberry pi blog comments say today they actually did find a misconfiguration of the HDMI port that was unintentionally transmitting on all sorts of frequencies. So the earlier than expected certification wasn't pointless.