Здравствуйте! При последней переустановке, выбрал я, значит, на свою голову ядро linux-4.19.0-11-amd64. Всё бы ничего, но некоторые драйвера (не хочу ни на кого тыкать пальцем, broadcom-sta-dkms) отказываются работать без соответствующей пары linux-image и linux-headers. И если linux-image-4.19.0-11-amd64 установился без проблем, то linux-headers-4.19.0-11-amd64 не нашлось в моих репозиториях… Не подскажете, как достать?
P.S. Linux Debian 10

