[head tinderbox] failure on i386/i386

[FreeBSD Tinderbox]

TB --- 2007-07-14 11:39:09 - tinderbox 2.3 running on freebsd-current.sentex.ca
TB --- 2007-07-14 11:39:09 - starting HEAD tinderbox run for i386/i386
TB --- 2007-07-14 11:39:09 - cleaning the object tree
TB --- 2007-07-14 11:39:44 - checking out the source tree
TB --- 2007-07-14 11:39:44 - cd /tinderbox/HEAD/i386/i386
TB --- 2007-07-14 11:39:44 - /usr/bin/cvs -f -R -q -d/home/ncvs update -Pd -A src
TB --- 2007-07-14 11:48:39 - building world (CFLAGS=-O2 -pipe)
TB --- 2007-07-14 11:48:39 - cd /src
TB --- 2007-07-14 11:48:39 - /usr/bin/make -B buildworld
>>> World build started on Sat Jul 14 11:48:40 UTC 2007
>>> Rebuilding the temporary build tree
>>> stage 1.1: legacy release compatibility shims
>>> stage 1.2: bootstrap tools
>>> stage 2.1: cleaning up the object tree
>>> stage 2.2: rebuilding the object tree
>>> stage 2.3: build tools
>>> stage 3: cross tools
>>> stage 4.1: building includes
>>> stage 4.2: building libraries
>>> stage 4.3: make dependencies
>>> stage 4.4: building everything
>>> World build completed on Sat Jul 14 13:05:32 UTC 2007
TB --- 2007-07-14 13:05:32 - generating LINT kernel config
TB --- 2007-07-14 13:05:32 - cd /src/sys/i386/conf
TB --- 2007-07-14 13:05:32 - /usr/bin/make -B LINT
TB --- 2007-07-14 13:05:32 - building LINT kernel (COPTFLAGS=-O2 -pipe)
TB --- 2007-07-14 13:05:32 - cd /src
TB --- 2007-07-14 13:05:32 - /usr/bin/make buildkernel KERNCONF=LINT
>>> Kernel build for LINT started on Sat Jul 14 13:05:32 UTC 2007
>>> stage 1: configuring the kernel
[...]
WARNING: duplicate option `GEOM_MBR' encountered.
WARNING: duplicate option `DEV_MEM' encountered.
WARNING: duplicate device `mem' encountered.
WARNING: duplicate option `DEV_ISA' encountered.
WARNING: duplicate device `isa' encountered.
WARNING: duplicate option `DEV_NPX' encountered.
WARNING: duplicate device `npx' encountered.
/src/sys/i386/conf/LINT: unknown option "SCTP_HIGH_SPEED"
*** Error code 1

Stop in /src.
*** Error code 1

Stop in /src.
TB --- 2007-07-14 13:05:32 - WARNING: /usr/bin/make returned exit code  1 
TB --- 2007-07-14 13:05:32 - ERROR: failed to build lint kernel
TB --- 2007-07-14 13:05:32 - tinderbox aborted
TB --- 0.87 user 3.02 system 5183.97 real


http://tinderbox.des.no/tinderbox-head-HEAD-i386-i386.full