This can be parsed with vc4-gpu-tools tools for trying to figure out
what was going on.

v2: Use __u32-style types.
Signed-off-by: Eric Anholt <eric@anholt.net>