update: sync

git-svn-id: http://svn.tudos.org/repos/oc/tudos/trunk/l4@55 d050ee49-bd90-4346-b210-929a50b99cfc
update

git-svn-id: http://svn.tudos.org/repos/oc/tudos/trunk/l4@56 d050ee49-bd90-4346-b210-929a50b99cfc
Don't try to compile valgrind.

It fails on debian.