Make boot2 default to finding the loader on the SD card, since we are not yet
ready to live in a CFI world.
Default -DBOOT_PROMPT_123 to on for BERI loader, since it's a fresh platform
and we're not worried about backward compatibility.
Teach the FreeBSD/beri boot to "auto-detect" whether argument 4 (a3) is a
memory size of pointer to a struct bootinfo * by looking at its value and
seeing whether it is pointer-like.  If a pointer, assume it's a bootinfo
and extract memsize from it instead; otherwise, use it as memsize directly.
This allows kernels to support bootinfo being passed by loader (and boot2)
while still supporting older Miniboot setups.
Have loader pass a bootinfo pointer into the kernel rather than a literal
memory size, since this is the new world order, matching boot2, and working
with the kernel as of the previous change.
Use soft-float for loader on MIPS.
When building as part of world, make sure the common linker script directory
is available to boot2.
Allow loader to use the common linker script with boot2.
When the module metadata pointer is available from loader, use it in the
kernel.
Explicitly request -msoft-float in boot2 and loader on CHERI.
When building FDT on MIPS, use -msoft-float.
Fix Makefile syntax in recent change.
Try a bit harder to spell things right in the FDT makefile.
Build BERI boot2/loader as part of the MIPS build.