- Avoid DoS against kernel, reported by Julian Stecklina - Provide EFI systab pointer through HIP - Fix PCID bug Fixes #3440