define 'BOARD_<boardname>' for use in cpp files
add back in i2c_open for hdmidisplay...
zedboard does not have an i2c mux in front of the adv7511