Regarding the issue of S2E supported kernels

[Jay Ironman]

If I want S2E to support Linux 4.9.3 kernel, do I only need to make modifications to [1]? And there is no need to modify parts of Linux 6.8.2?
[1]  https://github.com/S2E/s2e-linux-kernel/commit/3f91b1d8d70adadd5e8070703b0b7d0797c603fe#diff-a694b8697bb9939882231cb2f899bee316462dd43c5744176d51120c1bf39146L39

[Jay Ironman]

I recompiled the Linux 4.9.3 kernel as per your previous instructions and successfully installed it in Ubuntu 22.04.4. However, when using Linux 4.9.3 to start Guest OS, it crashes with the following prompt message. I don't understand why this is happening? Doesn't it support Linux 4.9.3 anymore? But I saw that the submission record on Github only modified the header file, which shouldn't be the case, but I really don't understand why.

[Jay Ironman]

If I compile the Linux 4.9.3 kernel using a previous version of S2E (without updating Linux 6.8.2 S2E) and install it in Ubuntu 22.04.4, the following problem will occur again. I really don't understand why this is happening.