Can I just get some clarification here: You'd want a couple of mixers added to the analog stages of the audio hardware?
I don't think that would be a use of space, money and design effort which justifies the result. The pandora, current or 2, can perform crossfeed in software, on the digital side of the signal, with a lot of potential for tuning the details to the individual user's taste. I don't yet have a pandora, so I don't know if any software already offers this; but the capability is certainly in place.
If no player with crossfeed exists yet, asking for someone to build a crossfeed mechanism into your favourite player application seems like the more promising approach than asking to add hardware. Maybe you could even do this yourself? I don't know what kind of time and skills you have; but it's unlikely you'll ever find a DAP where it's as easy to run your own code as on the pandora. Learning opportunity, maybe?
But if you categorically can't live with digitally-processed crossfeed at all, I suggest you continue to carry that headphone amp with you.