Fix a380_defconfig