ZeroVM linux-headers port (part of the gcc toolchain)