This is just a brief reply to express my appreciation for the well informed and valuable comments in this thread. I'm very new to UEFI, hence still learning the basics. Another option for accessibility might be OpenFirmware, which (if I'm remembering my reading correctly) embeds a Linux kernel directly.