OvmfPkg: Fix build failure with gcc44, gcc45