Add missing patch-gdb_bsd-kvm.c