Introduce 'framebuffer' SPEC variable to distinguish hardware framebuffer drivers furthermore from the SDL framebuffer driver used by Genode/Linux.
The run script works on foc_pbxa9 and foc_x86_64. So there is no reason to restrict it to x86 only.