kernel: Add missing config options for samsung target