UEFI: lots more debug, no real progress...