Well, well, well. It is possible, after all, to create a /boot
partition on software RAID10, and been able to boot from it just fine—something I tried many times, and couldn’t do. It turns out you need to flag each drive as a bootable disk, before carving out partitions, and creating the RAID10.