Comme le bug persiste et que j'ai pas trouver de work-around, j'essaye de trouver le bug.

J'en profite pour signaler un détail : il y a un double xdef de KernelExec_redirect dans Library.asm.