arch: model the module band where the kernel actually puts it (ppc32, riscv32)