In case someone else has similar problems, the symptom is that the boot seems to stuck at EFI stub: Exiting boot services.... The boot process continues, and you will see the login screen after a while. To monitor the boot process via VGA, just add console=tty0 to the kernel command line.
5 Likes