I concur with what tim said.If you really need more x86 juice you'd be better off getting a 6386 (16 core) or 6328 (8 core).
Btw welcome to the libre cool kids club! -- coreboot mailing list: [email protected] https://mail.coreboot.org/mailman/listinfo/coreboot
