Perhaps this was brought up before, but is there an use case for mixing ABIs in the same ELF file? For instance, one could implement a portable ARM EABI binary not calling any float function but just dlopen()ing this or that library depending on which ABI variant it detects.
(It's an unlikely scenario, but I wanted to bring it up in case the plan would prevent this and could easily be made not to.)