(i have still to test the x86_64 noSMP in UEFI) if it does work and is more stable than SMP it would be better than one or portable...