カーネルヘッダーのインストールだけでなく、ヘッダーとソースコードの両方が欲しい場合は、カーネルソースをホストするサイトからダウンロードすると良いでしょう。
本書で使用しているカーネル 4.18.16 のソースに限定するなら以下のようにダウンロードできる。
$ wget https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.18.16.tar.xz $ tar xf linux-4.18.16.tar.xz $ cd linux-4.18.16/ $ ls COPYING Kconfig README crypto include lib scripts usr CREDITS LICENSES arch drivers init mm security virt Documentation MAINTAINERS block firmware ipc net sound Kbuild Makefile certs fs kernel samples tools
wget を使わずともウェブサイトのホームページを見ながら自分の欲しいバージョンを選ぶことも可能なので、必ずしもコマンドラインに頼る必要はないです。
Copyright 2018-2019, by Masaki Komatsu