Allow kernel building for SaberMod 4.8 GCC

Change-Id: I2c98a5c3774f9ee093905d0fb167ffc5c9569588