Allow kernel building for SaberMod 4.8 GCC

Change-Id: I28b0f5b97780216f6d56dcb2787980a12cc24975