defconfig: arco!