[HDx] Kernel config updates