x86_64: make all targets compile Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
moved spawn flags into spawndomain.h
Rename x86boot/armboot -> corectrl.
Added application microbenchmark: extremely tight loop.