driver: ppm_ringbuffer.h: fix up structure types

This fixes the rest of the fields in the exported structure to use the
correct kernel types.