Interesting post from another subforum regarding an efi32 bootloader someone has written for 10.9. Might be well worth checking out:
https://forums.macrumors.com/posts/18411621/
Tiamo deserves many props for his work. Previously I was using Chameleon to run Mavericks on my Mac Pro 1,1 and now I'm using his custom boot loader. To put it simply, running Mavericks on this unsupported machine went from feeling like a hack job to as if Apple had never left us behind. He just proved that a 32 bit EFI system can boot Mavericks gracefully and the fact that Apple didn't do this is indeed sad.