1 files changed, 1 insertions, 1 deletions

diff --git a/results b/results
index dc16ac6..6f52053 100644
--- a/results
+++ b/results
@@ -7,7 +7,7 @@
 # build_abe qemu:
 -2
 # linux_n_obj:
-9535
+9552
 # linux build successful:
 all
 # linux boot successful: