kernel: Add missing kernel config options