Modification to support inclusion of pre-built virtio modules

- also includes kernel configuration mod for NKPT mods