fix miscellaneous kernel abi definitions

There's a raft of kernel-relevant structures that I didn't address with my initial `kernel_abi.h` changes.  This patch series addresses those.  I admit to taking some shortcuts with some of the structure definitions; ideally, the comment in kernel_abi.h spells out the rationale and you agree with me. :smile: