Pre-compiled (x86) bitcode files for the Linux kernel of version 5.3.0
-O2, -g, and inlining is completely disabled.