ppc: kernel.go: satisfy golint