Nothing about NXP? They are a pretty big player in this space, and mostly do a great job contributing upstream to the kernel, but I guess they don't have a hobby-level entry point readily available.
I've used NXP-based embedded Linux hardware from Toradex, Gateworks and EmbeddedTS in previous projects, lots of vendors out there.