fixup! [zerovm] patch for new version of texinfo
[zerovm] apply patch for new version of texinfo.