locate in basics.ff, some x86 kernel changes