Merge pull request #3 from talex5/next

Some threading cleanups for Mini-OS/ARM
Make Mini-OS work on x86_64 again