Oh boy, looking at my own link it seems this isn't even the linux kernel
with patches, as I had assumed, but the chromeos kernel.

I'll write my own patch to fix this, just need to remove the
already-present declarations. Sorry for the noise!

Jaron