Maxime,
I have now run the tests you asked for.
Does reverting only [1] fix the problem?
Yes. The system still doesn't install because the kernel is unable
to exec /sbin/init, but this is a different bug; when I don't revert
[1], the kernel does not even start (there are no kernel messages
on the console).
What if you put 'fillkpt' instead of 'fillkpt_nox' in [1]?
I tested with this patch against 2016.05.22.09.10.37 sources:
diff -u -r1.124 locore.S
--- locore.S 15 May 2016 07:17:53 -0000 1.124
+++ locore.S 25 May 2016 14:33:35 -0000
@@ -731,7 +731,7 @@
movl RELOC(tablesize),%ecx /* length of BOOTSTRAP TABLES */
shrl $PGSHIFT,%ecx
orl $(PG_V|PG_KW),%eax
- fillkpt_nox
+ fillkpt
/* We are on (4). Map ISA I/O mem (later atdevbase) RWX. */
movl $(IOM_BEGIN|PG_V|PG_KW/*|PG_N*/),%eax
and it did _not_ fix the problem.