Fix assembly code symbols to be 4 byte aligned