Remove kernel headers from device

Requires:
http://server.cas-online.nl:8181/#/c/5283/
http://server.cas-online.nl:8181/#/c/5284/

Change-Id: I88668c9c7f6b8ec5e65b8f16200b905b0c86f098