O módulo do kernel samsung-laptop, responsável por danificar o firmware das BIOS de notebooks da Samsung teve seu carregamento definitivamente desativado do kernel. O bug está relatado aqui.
Também houveram relatos de excessos de checagem em recentes laptops com EFI habilitados da marca Samsung, como mostra este link.
Sendo assim, um patch para solução do problema foi escrito por Matt Fleming para o kernel e aprovado por Linus Torvalds.