OvmfPkg/PlatformDxe: list "Platform.h" in the INF file