Ah, got it, thanks again uboot :)
I'm trying this only: "make crossgcc-x64 CPUS=4 && make iasl"
since I most likely won't need a 32bit install.
I checked again, 4 is fine because I have 4 cours, so 4 threads, and only one
CPU.
I've seen a video of lilos on GobelinRefuge where he has 2 CPUs, one big
enough GPU, and the heatsinks are installed in diagonal (didn't knew it was
possible).
But compared to mine, the fans were very noisy, so I'll probably stick to one
CPU.
It should be enough for my needs (since it's also coupled with the GPU), but
until I try, I won't know.
Regarding flashing, I should be OK (I think), because I'll start the PC with
the BIOS, then I'll hot swap with another chip. So if it fails to boot, I can
still use the BIOS chip to boot, and try again (in theory).
Worst comes to worst, I still have an extra chip.
I suppose I could even compare Libreboot and Coreboot, though Libreboot is
indeed late on the updates in comparison. But I might miss GRUB, since it's
supposedly easier to load ISOs to GRUB than to Seabios (not sure I ever
loaded any ISO though, but I like GRUB since I'm used to it).
Problem is, it looks like GRUB isn't really useable for this board yet (very
slow keyboard input).
Well, I'll try Seabios and see how it goes.
I remember that I had to make GRUB configurations just to boot Trisquel (I
don't remember why), so I wonder how it goes next.