и так же как мы пишем:
volatile int foo;
мы бы писали:
unaligned int bar;
и компилятор в каждом конкретном случае бы знал что делать