Switch to Sabermod 4.8 for kernel compile