agora eu encontrei a primeira parte da solução em uma discussão em outro fórum. Após uma atualização do BIOS, eu posso instalar o & execute o debian. a versão da bios que funciona para mim é:
v1.10 20 Sep 2018
Version 1.10
UEFI: 1.10 / ECP: 1.07
(Fix) Fixed an issue where the memory frequency was unexpected setting
with Intel Core i5 and Xeon processor.
você pode baixá-lo aqui: link
e você teve que desativar no BIOS:
Intel SpeedStep Technology
CPU Power Management
8254 Timer Clock Gating
Thunderbolt