Fixed page coloring given __CONFIG_PAGE_COLOR__
[akaros.git] / tests / user_tests.h