[ARM] 3017/1: Add support for 36-bit addresses to create_mapping()