Use google 4.8 for kernel