"make export" also includes the build configuration file $TOPDIR/.config