if config reports the options are already set, that is probably because
of the include statement in your kernel config
ie. include "../../../conf/GENERIC"
in that file (/usr/src/sys/conf/GENERIC), those options are already set
seems like you have an other problem...