OvmfPkg/AmdSevDxe: refresh #includes and LibraryClasses