Rename 'opt_list' as well
-rw-r--r-- 35147 LICENSE
-rw-r--r-- 11761 README.md
-rwxr-xr-x 14036 kconfig-hardened-check.py
-rw-r--r-- 4821 kspp-recommendations.config
-rw-r--r-- 182958 oracle-uek5.config
-rw-r--r-- 216807 ubuntu-bionic-generic.config