kernel: add missing (disabled) GOOGLE_* symbols