That’s true, but Zen1 TDP is a lot higher than an RPi. Hitting that level of performance in a power and heat envelope that works for a Pi probably demands a smaller process node, unfortunately.