Debian suportará também o kernel do FreeBSD