Hi Javi,
Ok, I don't know any board with K10, I am not sure about what K10 you need (50, 72, 100 Mhz,...) But the code you write at the same speed grade Kinetis (K60, K20,..) will be 100% compatible if you use the same peripherals that K10 has. But the GPIOMUX will have to be tuned for your custom harware with K10.
Perhaps anyone knows in the community about an available board.
Luis,