Profiling stopped working for us after D98061, which was largely a
Fuschia-specific patch but in one place used isOSBinFormatELF to
make a decision. I'm adding a PS4/PS5 exception to that, so we can
get profiling to work again.
I'm pretty sure isOSBinFormatELF isn't really the right predicate,
but I'm not familiar enough with this area to say what is.