generate temp xdc file in BOARD/sources directory
update I2C pin names to I2C1
adjust hdmi pin names (since base interface now contains the 'hdmi_' prefix)
update the vsync indication handler