ada62b471a
if 'options "VM86"' is in the config file. The LKM was really for development, and has probably outlived its usefulness.