I found a different question from a different forum -do-i-disable-i2c-designware-support-when-its-not-built-as-a-module that seems to address a similar issue concerning the built-in designware driver, how do I restart the designware driver, if as the link says, "It's not built as a module"?