Add a build-id to the kernel