Depending on what you are after, you could go for a pistorm32 - it's a lot of performance for cheap. Granted its not a classic cpu, so there's some compatibility issues still, but those are being ironed out as they are found.
PCMCIA still works with the pistorm btw.
PS: they are working on amiga video passthrough to hdmi (working on ECS currently), plus you have an RTG graphics card for free with this set up as well.