I got it, thank you! Now to test the boot rate.
Edit: When Menuhax 2.0 feels like cooperating, it's apparently a 100% boot rate into Reinand. I just wish the boot rate on Menuhax itself wasn't awful on my N3DS (so back to 1.3 I go yet again with 2.5 payload, sigh). Still needs more testing.
Edit 2: Went back to themehax 1.3 instead of Menuhax 2.0, 6/6 boots into Reinand with Brahma2loader so far (so 100%). I'll stop once I hit 20.
So after 20 boots, using themehax 1.3 with *hax 2.5 payload (I can't use Menuhax 2.0, it boots successfully maybe 20-30% of the time, all others to a white or yellow screen, so it's pointless), I had 18 successful boots. The two failure boots were on a black screen (neither of which were themehax 1.3's fault), so that puts the boot rate on my particular N3DS at 90%. Very acceptable.