[HDE2] Add missing CONFIG in kernel