Samsung neomlouvám, jeho implementace EFI má zjevně bug. Jenže na rozdíl od vás vidím i opakovaně popsané problémy s driverem samsubg-laptop na Linuxu: použití nedokumentovaného interface BIOSu, jeho použití při EFI bootu kdy není k dispozici, a použití toho driveru na HW se kterým nebyl nikdy testovaný. Vy jste naopak tvrdil, že Linux je v tom nevinně, protože spoléhá na "standardy". To se ukazuje jako velký nesmysl.