Although it appears not to solve the problems we are experiencing with
unaligned cheri_framt structures on the stack with gcc, do try to
properly align kernel stack pointers for 32-bit capabilities by default.