Kernel: set proper config builder options.

This way, the cache is rebuild when we've changed something in our
configuration.