Dirty workaround for ipc
Small improvement to message queues behaviour
When inserting, the comparing function is only executed when a searching
thread is actively waiting
Removes unnecessary debug outputs
Adds benchmarks for rdtsc and ipc server-client communication
Improves the rdtsc test
Adds klog syscalls printing stuff onto SPARTAN's kernel console

Conflicts:
	base-spartan/lib/mk/platform.inc
Further develops the ipc benchmark for server-client communication
Adds klog prints to rdtsc benchmark
Sets up ipc and rdtsc benchmarks

Conflicts:
	base-spartan/src/kernel/x86/config.h
Reenalbes compile ability scewed up in previous commit
Hacks the ipc.cc to be able to send ipc messages between two threads of the
same task without using the successfully shared address space area