2 ms·

I don't think so. It took Debian a bit longer to get their UEFI stack working but it is now with the release of wheezy.