3 CONFIG_DEFAULT_DEVICE_TREE="sun50i-a64-pinephone-1.2"
6 CONFIG_SUNXI_DRAM_LPDDR3_STOCK=y
9 CONFIG_MMC_SUNXI_SLOT_EXTRA=2
10 CONFIG_PINEPHONE_DT_SELECTION=y
11 # CONFIG_SYS_MALLOC_CLEAR_ON_INIT is not set
12 CONFIG_OF_LIST="sun50i-a64-pinephone-1.1 sun50i-a64-pinephone-1.2"