Fix target spec: use softfloat instead of x86-softfloat#1484

phil-opp merged 2 commits into

post-02phil-opp/blog_os:post-02from

fix-softfloatphil-opp/blog_os:fix-softfloatCopy head branch name to clipboard