Add a README and fix a few minor bugs

Note: Mini-OS now supports hard-float, so there's no problem to continue using that for Dom0 now :-)