Just a tip, after

  make menuconfig

run

  make -j kernel_menuconfig

To select some additional options for the kernel, then

  make -j $(($(nproc)+1))

That can be a bit faster nowadays.