add PROVIDES option, currently only used for menuconfig