DE1-SoC I2C communication problem

I recently obtained a DE1-SoC and am attempting to control the WM8731 codec using a kernel driver. I was able to change the multiplexer control from the FPGA to the HPS using the hps_i2c_switch demo ...