risc-v/qemu-rv: Mark the page table section as NOLOAD
Otherwise the linker will allocate an output section for it, which actually
uses kernel ROM memory for nothing
@@ -114,7 +114,7 @@ SECTIONS
/* Page tables here, align to 4K boundary */
- .pgtables : ALIGN(0x1000) {
+ .pgtables (NOLOAD) : ALIGN(0x1000) {
*(.pgtables)
. = ALIGN(4);
} > ksram
