Explicit kernel config.