It's quite strange since the range has already been reserved:
```
[ 18394] reserve_address_range([0x47d416a000], B_RANDOMIZED_BASE_ADDRESS, 0x50f000) = 0x0 No error ([0x47d416a000]) (15 us)
```