It's unfortunate that the RPi foundation doesn't acknowledge this potential more.
It feels like the RPi is stuck in the middle between being a low-cost board for GPIO tinkering and being a low-cost general-purpose computer, being not really that good at either task. Maybe they should create a coreboot-enabled board that is a little more pricey, starting at 60 or 80$ or something, for the "ARM-PC" (the RasPC!) market and separate that from the board for the tinkerers.