In case any of periph.io’s features require changes to the kernel configuration, I’m happy to change it accordingly.