I'm thinking the most neutral way to handle operating systems is to do it the way old school Z80 systems did it, and write the "boot sector" for the OS to the first sectors of the SD card. A FAT32/ExFAT SD card still has an MBR partition table; the MBR can as easily contain Z80 boot code as 8086 boot code.