kernel: move the headers install step

The kernel headers are only needed just before we build
the C library headers, and need not be present before.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>

 reporter_name="Ioannis E. VENETIS"

 reporter_url="http://sourceware.org/ml/crossgcc/2009-11/msg00109.html"

 reporter_comment=""