When using MapSL, 32-bit addresses are no longer truncated into 16-bit