More aliasing/alignment fixes

Hi Ronnie, here are a couple more fixes for aliasing and pointer alignment that GCC spotted when compiling on ARM.

Thanks!

Paolo