fix hdmi config patch by kiwi_jonathan