STACKALIGN: Reimplement in terms of __align_down

This changes STACKALIGN to be type-preserving when operating on
pointers.

Reviewed by: brooks, kib
Effort: CHERI upstreaming
Sponsored by: AFRL, DARPA
Differential Revision: https://reviews.freebsd.org/D54920