As far as i can tell, these boards are prototypes, as mentioned in the thread. The makers try to push the o30 to 60 MHz, while the o40 board is actually not yet working at a 100%.
https://www.youtube.com/watch?v=R7hjmNcLmhs&feature=youtu.beThere are also addons in the making, like a local graphics card.