Ensure correct setting of the BOARD variable