Thankfully, a free Android app solves this problem, and it's the first app I install on any new Android phone that I set up.
A Raspberry Pi multiboot lets you pick Raspberry Pi OS, Ubuntu, or MX Linux at startup without changing SD cards.