OvmfPkg/VirtioRngDxe: list "VirtioRng.h" in the INF file