[Kernel] fix aligned attribute behavior on typedefs

GCC states that the 'aligned' attribute applied to typedefs can lower the
default type alignment (unlike with structs).