The linkerscript's view of box reserved memory and the actual view disagree

The linker script, in some situations, lists box_*_rsvd memory differently from how vmpu_load_boxes will assign the box reserved memory. This disagreement will be even more likely to happen when we sort reserved memories.

If having the map file disagree with what uVisor actually ends up doing for the box memories is OK, please close this issue.

Compare the linker script's box_*_rsvd memory view with the assignments made by vmpu_load_boxes, focusing on the situations where they disagree. Determine whether the generated map and uVisor's actual box reserved memory should match; done means the discrepancy is resolved or the issue is explicitly closed as acceptable.

Written by the indexing model from the issue text.