Vulnerabilities in UEFI firmware