uml: fix some kernel compilation issues with GCC