remove useless file

Reported-by: Avi Kivity <avi@cloudius-systems.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
1 file changed