README

   1 To update the headers, do:
   2
   3 $ cd <the_kernel>
   4 $ make ARCH=i386 headers_install
   5 $ find usr -name .install -o -name .check -o -name ..install.cmd -o -name ..check.cmd | xargs rm -f
   6 $ cp -a usr/include <kernel_headers>/usr