Use global tag for kernel

Change-Id: I86696b25f27bc60b3403e2826f92f3039e8d17d4