We would rebuild vmlinux if the command line to do so changed since
the last build. Unfortunately, we forgot to read the old command line,
so we always rebuilt it.