Do you happen to know if booting from the SSD is limited by the closed source bits of the Pi system or is this an effort the open source community can possibly contribute?
Also, is there any work on kernel level x86 emulation on arm for expansion roms?