Enable SaberMod toolchain for kernel

Signed-off-by: Randy DuCharme <radio.ad5gb@gmail.com>