http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53037
--- Comment #6 from H.J. Lu <hjl.tools at gmail dot com> 2012-04-19 16:53:18 UTC --- For a global or local 64bit variable, x, inside kernel, why should it be 4 byte aligned if it isn't part of system call interface?
