Remove remains of previous 2 ways used to build a custom kernel (since
only 1 way is now documented in this book).

Found by: Paco Cubi <francisco.cubi@gmail.com>