hdmi: fix error while checking for boards using boot.ini