diff --git a/README.adoc b/README.adoc
index 5d4acf1..cc30b5b 100644
--- a/README.adoc
+++ b/README.adoc
@@ -3839,7 +3839,7 @@ One methodology problem is that some gem5 and QEMU were run with different kerne
 
 The build times are calculated after doing `./configure` and link:https://buildroot.org/downloads/manual/manual.html#_offline_builds[`make source`], which downloads the sources, and basically benchmarks the Internet.
 
-Build time at 2c12b21b304178a81c9912817b782ead0286d282: 28 minutes, 15 with full ccache hits. Breakdown: 19% GCC, 13% Linux kernel, 7% uclibc, 6% host-python, 5% host-qemu, 5% host-gdb, 2% host-binutils
+Build time on <<p51>> at 2c12b21b304178a81c9912817b782ead0286d282: 28 minutes, 15 with full ccache hits. Breakdown: 19% GCC, 13% Linux kernel, 7% uclibc, 6% host-python, 5% host-qemu, 5% host-gdb, 2% host-binutils
 
 Single file change on `./build kernel_module-reconfigure`: 7 seconds.