答案1
现在我在另一个论坛的讨论中找到了解决方案的第一部分。 BIOS 升级后我可以安装并运行 debian。对我有用的BIOS版本是:
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.
你必须在BIOS中禁用:
Intel SpeedStep Technology
CPU Power Management
8254 Timer Clock Gating