The problem is caused by UEFI boot after installing Debian Linux. The Samsung BIOS is faulty by default and if I know well it is not yet fixed by the manufacturer. I had the same problem. The only solution is BIOS Flash. It can be done if you buy a programmer like CH341A. There is a great tutorial how to make it: ++https://jensd.be/980/linux/bios-or-spi-programming-on-windows-or-linux-using-a-ch341a++