Booting Linux using UEFI can brick Samsung laptops