ubuntu-linux-kernel/include/config/drm/sun4i/hdmi.h