add missing kernel config option