Changing cos_loader.
Updated scripts. The entire system still works under current
design. Going to change a lot next!
In progress. Going to swap the invocation path!
Finally got the invocation working!

Need to clean up.
Updated the thd_current function to use the actual function (get info
from stack).
Changed the invocation code to get the actual cap_no from eax.

Merge branch 'ppos' of https://github.com/gparmer/Composite

Conflicts:
	src/kernel/include/inv.h
Optimized for invocation return: no need to look up captbl when
returning -- 0 is the default return cap.
Added printc support (a hack for now).
In progress...
Finally got the loader working. Now we can create components (captbl,
pgtbl, etc.), and populate memory of them.

Going to do thread dispatching next.
Added thread caps to the scheduler. Thread switch working. Other fixes.
Going to merge.
Merge branch 'master' of https://github.com/interwq/Composite
Multicore works with the new system. We can create threads on each
core, and excute in parallel. Pingpong tested and worked.
ASND/ARCV cap creation worked. Going to implement invocation on them.
Asnd/arcv in progress.
Added asnd/arcv implementation. Tested 1024 IPIs sent in a tight loop
with no issues. Going to scale up on 40 cores!
Fixed a couple of things: a memory barrier in the ipi ring buffer; and
added CAS operation in captbl.h, which fixed some random
crashes. Ready to scale up.
Changed llboot to use physical memory instead of kmem when loading
components. (didn't have enough memory to boot up 40 cores!)
Debugging. Merge new update.