[ARM] 2853/1: Make alloc_init_supersection() work with 36-bit mappings