riscv32: mm/init.c:1495:11: error: use of undeclared identifier 'MODULES_VADDR'