If you define DISABLE_IPV6=yes to the config.inc, then the rtems-bsd-config.h file will be modified accordingly and the IPV6 kernel sources will not be built. This is easier to manage and more correct than having a patch to do the same.