Yes. If you buy the Pluto HDMI board, you can reprogram it using this board from KNJN according to instructions on the GitHub. You can also reprogram the EEPROM directly using methods described here or really any SPI EEPROM programmer. JTAG is an option as well, as mentioned on the GitHub, if...