use sabermod 4.7 for kernel&platform