do not build EFI image yet