kernel: Fix buildkernel without INVARIANTS.
tree5dd65f2b82619dd4923b5c48576239b72978996b
-rw-r--r-- 756 .gitignore
-rw-r--r-- 6967 COPYRIGHT
-rw-r--r-- 7124 Makefile
-rw-r--r-- 37909 Makefile.inc1
-rw-r--r-- 99076 Makefile_upgrade.inc
-rw-r--r-- 2401 README
-rw-r--r-- 17694 UPDATING
drwxr-xr-x - bin
drwxr-xr-x - contrib
drwxr-xr-x - crypto
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - games
drwxr-xr-x - gnu
drwxr-xr-x - include
drwxr-xr-x - lib
drwxr-xr-x - libexec
drwxr-xr-x - nrelease
drwxr-xr-x - sbin
drwxr-xr-x - secure
drwxr-xr-x - share
drwxr-xr-x - sys
drwxr-xr-x - test
drwxr-xr-x - tools
drwxr-xr-x - usr.bin
drwxr-xr-x - usr.sbin