kernel-libc-headers: fix cross build.