kernel: Add missing mediatek configuration options