Судя вот по этой ветке: ubuntuforums.org/showthread.php?t=2234219&page=4 ситуация непростая. Нужны танцы с бубнами, так как грузить получается только 32-битный EFI, и при этом не все оборудование определяется и работает. В частности, проблемы с графической картой и клавиатурой.