Puff, vaya lío xD
A ver, yo tengo los dos primeros bytes de un offset en la variable 0x8000 y los otros dos en la variable 0x8001, es decir, (0x8000)(0x8001) sería un offset (4 bytes). Entonces, para leer esos 4 bytes, utilizo esto:
ldr r0, .var_8000
ldr r0, [r0,#0x0]
Supuestamente, con eso...