Preserve HDMI naming for kingficher board