継続は以下でした。
全然無事には終わっていないことが判明。modules install したディレクトリには .ko なファイルが一つも無い。これはイチからヤり直しですね。
再度 RPi Kernel Compilation を確認しつつ とりあえず以下で clean the kernel source とのこと。
$ make mrproper
なんか make config が動きだしたみたいだったので止めて以下。
$ make clean
スデに怪しい香りがしてますがスルーで。使ってる端末では環境変数とか設定されたままになっているのと .config もそのままということでいきなり make してみます。
$ ARCH=arm CROSS_COMPILE=${CCPREFIX} make
次回、modules_install してディレクトリの中身を確認してみます。