The generated kernel prints virtual_addr, does it allow to disable virtual memory? Because implicitly adding these features makes a kernel not so lightweight.