rename `kernel_base` to `pptrBase`

[lsf37]

The name kernel_base is from ancient times before terminology had settled.

We should converge name between ASpec, Haskell and C to avoid confusion and wasting time tracing which constants correspond.

This is a follow-up from #617, but more generally applicable.

It would make sense to check other names as well.