[rwth-security] Bootkitty: Analyzing the first UEFI bootkit for Linux