Commented back out firmware update #define, until we have the proper FPGA.
Re-enabled CONFIG_FIRMWARE_UPDATE in include/configs/labx_avbx.h now that GPIOs have been tested with udpated FPGA.