[ELF] Correct some bugs
[CORE] Register allocation works (still bugs)