[ros-diffs] [gvg] 13227: Keep usermode stack 4-byte aligned