Add missing padding to core interface

The padding is important to separate the read- and write indices by
at least one cache line, to prevent cache clean and invalidation to
corrupt data for the remote CPU.

Change-Id: I1d50ac6c63ef4cb3e11b0c293aefaac34ac8eb1f