как пропатчить ядро под freebsd?