lower-case kernel option names

[Thor Lancelot Simon <tls%panix.com@localhost>]

I just confused myself considerably because this config file fragment
didn't work:

        no options SECMODEL_BSD44
        options SECMODEL_OVERLAY

It turns out these kernel options (in sys/conf/std) have *lowercase* names.

Why?  Shouldn't I change them?

-- 
Thor Lancelot Simon                                    
tls%rek.tjls.com@localhost
  "All of my opinions are consistent, but I cannot present them all
   at once."    -Jean-Jacques Rousseau, On The Social Contract