This is needed to set meaningful k_i and k_d coefficients.

This lets the firmware either take all the flash, or be built for the
bootloader.

Changing only the boot configuration to load the i2c-gpio overlay is not
sufficient, the i2c-dev module should also be loaded.
raspi-config does this when enabling the i2c interface.