Devices: Add config for smdk4x12