build script: add option to choose from build with or without HDMI support