[opensuse-kernel] question about build-id and vmlinux