Bootkitty: Analyzing the first UEFI bootkit for Linux