defconfig: Dump configs

arch/arm/configs/u8500_CoCore-E_defconfig

@@ -601,7 +601,7 @@ CONFIG_PM=y
 # CONFIG_APM_EMULATION is not set
 CONFIG_PM_RUNTIME_CLK=y
 # CONFIG_SUSPEND_TIME is not set
-CONFIG_DVFS_LIMIT=y
+# CONFIG_DVFS_LIMIT is not set
 CONFIG_ARCH_SUSPEND_POSSIBLE=y
 CONFIG_NET=y
 
@@ -1087,7 +1087,7 @@ CONFIG_COMPDEV=y
 # CONFIG_COMPDEV_DEBUG is not set
 CONFIG_CLONEDEV=y
 # CONFIG_CLONEDEV_DEBUG is not set
-# CONFIG_NFC_PN544 is not set
+CONFIG_NFC_PN544=y
 CONFIG_SAMSUNG_JACK=y
 # CONFIG_SAMSUNG_JACK_SW_WATERPROOF is not set
 # CONFIG_U8500_SIM_DETECT is not set
@@ -1113,7 +1113,6 @@ CONFIG_USB_SWITCHER=y
 # CONFIG_SENSORS_LIS3_I2C is not set
 # CONFIG_USE_DPP2601 is not set
 CONFIG_IMMERSION_TSPDRV=y
-# CONFIG_FSYNC_CONTROL is not set
 CONFIG_HAVE_IDE=y
 # CONFIG_IDE is not set
 
@@ -1455,7 +1454,7 @@ CONFIG_CONSOLE_POLL=y
 # CONFIG_IPMI_HANDLER is not set
 CONFIG_HW_RANDOM=m
 # CONFIG_HW_RANDOM_TIMERIOMEM is not set
-CONFIG_HW_RANDOM_NOMADIK=y
+CONFIG_HW_RANDOM_NOMADIK=m
 # CONFIG_R3964 is not set
 # CONFIG_RAW_DRIVER is not set
 # CONFIG_TCG_TPM is not set