efi_driver: debug output efi_uc_start, efi_uc_stop