So if I skip re-linking /etc/modules, which isn’t even done in the post-boot script, the installation appears to proceed correctly, and the rest of the installation instructions worked. This kernel even has every VMware driver installed, not just the vmxnet3 driver.
Now should I release this? Normally the 64-bit kernel requires a subscription. I’d at least like to have some better people test it.
—