kernel: fix portability issues of the x86 vdso2c utility