276f1a3cde
platform tends to just declare anything from 0x8 to 0xf as mem or io regions willy-nilly, we need to avoid batmapping a few of those in order to save space for USER_SR, KERNEL_SR and KERNEL2_SR. I picked values for these three that are least-commonly used or used for non-vital things.