In a case like this, the more important licensing question is that of the x86 instruction set; I do not know what the strict licensing situation would be with that—it's quite possible (probable, actually) that this is technically illegal.

For the software part, why would you advocate GPLv3+ over permissive licenses like MIT/BSD/Apache?