defconfig: Use formatted section version