LROUTER and MPC303 kernel configs need treatment

Hi,

I am lately going through various NetBSD build options and kernel
configs, as a result I stumbled into some issues with hpcmips kernel
configs. VR41XX I managed to fix by including "midi* at midiport?"
(https://github.com/NetBSD/src/commit/3c501d5d302d56d579857ddbcbbd352f5a810849),
however I got stuck on LROUTER and MPC303. There is a build protection
for MIPS3_4100 option
https://github.com/NetBSD/src/blob/trunk/sys/arch/mips/include/mips3_pte.h#L80
to fail with 8KB page size enabled, however these two configs don't
handle that and fail build on this line. With some investigation I
found that std.lcard and std.hpc300.vr31 define few options like
ENABLE_MIPS_4KB_PAGE and PMAP_NO_PV_UNCACHED. I believe this two
configs should define at least these two options as well, but I am not
sure in which way should it be handled. I see myself one of these:
1) by adding those options to both configs (patch below),
2) reusing one of stds (std.hpcmipc.vr41?)
3) creating new std

Would like to hear some feedback on proposed solution validity and
what would be the best way to apply missing options. Thank you.

===================================================================
RCS file: /cvsroot/src/sys/arch/hpcmips/conf/LROUTER,v
retrieving revision 1.57
diff -u -p -r1.57 LROUTER
--- sys/arch/hpcmips/conf/LROUTER    1 Aug 2018 20:04:11 -0000    1.57
+++ sys/arch/hpcmips/conf/LROUTER    9 Sep 2023 20:11:43 -0000
@@ -18,6 +18,8 @@ makeoptions    CPUFLAGS="-mips3"    # CPU code
 options     MIPS3_4100        # VR4100 core
 options     VR41XX            # NEC VR41xx series
 options     VR4122            # NEC VR4122
+options         PMAP_NO_PV_UNCACHED
+options         ENABLE_MIPS_4KB_PAGE

 # Standard system options
 options     DDB            # in-kernel debugger
Index: sys/arch/hpcmips/conf/MPC303
===================================================================
RCS file: /cvsroot/src/sys/arch/hpcmips/conf/MPC303,v
retrieving revision 1.70
diff -u -p -r1.70 MPC303
--- sys/arch/hpcmips/conf/MPC303    1 Aug 2018 20:04:11 -0000    1.70
+++ sys/arch/hpcmips/conf/MPC303    9 Sep 2023 20:11:43 -0000
@@ -20,6 +20,8 @@ makeoptions    CPUFLAGS="-mips3"    # CPU code
 options     MIPS3_4100        # VR4100 core
 options     VR41XX            # NEC VR41xx series
 options     VR4122            # NEC VR4122
+options         PMAP_NO_PV_UNCACHED
+options         ENABLE_MIPS_4KB_PAGE

 # Standard system options
 options     DDB            # in-kernel debugger