If cyber espionage via HDMI worries you, NCSC built a device to stop it