Upgrade to SoftFloat 3e
Properly license all nontrivial files
Update to new privileged spec
fixed build after repo split