To sum up for newcomers
The patch of #54 allows to boot in EFI mode without any special grub option and it just works.
If you boot in legac bios mode, you still need the "nosmp" option to boot.
I'm not quite sure about the simplest way to install (k)ubuntu direclty in EFI mode.
It would be nice if someone could update the wiki to explain that.
To sum up for newcomers
The patch of #54 allows to boot in EFI mode without any special grub option and it just works.
If you boot in legac bios mode, you still need the "nosmp" option to boot.
I'm not quite sure about the simplest way to install (k)ubuntu direclty in EFI mode.
It would be nice if someone could update the wiki to explain that.