kernel: install kernel headers

Signed-off-by: Domenico Marino <johnlemon.lol@gmail.com>