I think the point is, very few people are looking to buy some RTL, they want the silicon. So the question is what's the price of the silicon? My understanding is anything comparable to the SoC in the RPi boards is still quite a lot pricier.