[Jan: fix build with CONFIG_USER_ONLY]
Signed-off-by: NMarcelo Tosatti <mtosatti@redhat.com>