SaberMod kernel toolchain and kernel optimizations