I haven't been able to get it to work on BIOS. I tried a number of things.
(1) As you said, just replace linuxefi with linux, and initrdefi with initrd.
(2) I opened the ISO with Archive Manager and saw that the only vmlinuz was /casper/vmlinuz.efi, and the only initrd was /casper/initrd.lz. So, I changed /live/vmlinuz to /casper/vmlinuz.efi, and /live/initrd.img to /casper/initrd.lz. This didn't look right, of course, and it failed with a kernel panic!
I tried a couple of other things, but nothing has worked.