Code

debian/patches: Added bts494874-gnu-kfreebsd.