BIOS update checker for Samsung laptops running Linux