add int sgs3 kernel pull