Actually, a BIOS that can read EXT would be kickass.
It already exists, it's called GRUB
You can combine GRUB with coreboot and install that to your board's flash memory, then instruct GRUB to do whatever you want.
"The value of marriage is not that adults produce children, but that children produce adults." -- Peter De Vries