Restore kfreebsd support patch