Use Sabermod 4.7 for kernel