HDMI toggle widget for JBX Kernel