Follow-up Google kernel source