Optimized franco.Kernel with SaberMod toolchains