freebsd-kernel: adding some patches...