Protection against Samsung UEFI bug merged into Linux kernel