docbook/kernel-api: fixup x86 path/file names