Fix a problematic message with the STM32L4XX fixup on 32-bit hosts.