Hi Alex,
K65 can work at 1.8V, you can find that TWR K65 board support operating it under 1.8V. For I2C operating under 1.8V, yes, it can. But I would need to have more details from you to know what is happening.
What baud rate you intend I2C operate? Or did you have a chance to measure I2C output and see its baud rate? Which specific I2C pin you used? For K65, some I2C pin are high drive, some are not. What is the I2C pull up you used and how much cap loading you expect on I2C pins?
For the MQX BSP change, I suppose you do have some problem, for you did not have intended clock output on CLKOUT, but this will not impact I2C operation under 1.8V. Which code base you used? Classic MQX or MQX inside KSDK?
Also debugging under 1.8V is possible. What exact problem you have for debugging?
Hao