Use sm-4.8 for kernel

Change-Id: I529d55f601ad8ebe2fe466bbc2e0a9b3dbe8ffd9