OvmfPkg/Sec: Fix 64bit SEC build failure