Fixes 4.6.1 compiler build with gcc 4.7 (XCC)
[akaros.git] / tests / kern_tests.h