Definitively! This has also been reported for some macppc models. We should have small fonts available, it probably is just a matter of adding font options to the GENERIC kernel and testing.I guess that one of options FONT_GALLANT12x22 options FONT_DROID_SANS_MONO12x22 options FONT_DEJAVU_SANS_MONO12x22 would make it work, but I have no easy way to test locally.
I'll test it tomorrow.
Yes, but not trivial. We now supposedly have access to efi runtime services on x86 which should allow us to configure "boot options" for each device (that is where the menu gets the name from), but it currently requires stuff from pkgsrc to do it manually, which also means (as of now) there is no way to do it automatically in the installers.
Perhaps it'd be worth considering hard-coding it to, say, NetBSD, if otherwise customizing it is a big deal? Is that an option?
John