My question is as stated in the title.
According to the FAQ listed here:
Yes, mmc0boot1 be used as the boot region, and BootROM will find an available boot region to boot. In other words, if mmc0boot0 got corrupted and mmc0boot1 is available, the system will boot from mmc0boot1.