Use Sabermod 4.10 for kernel