Kill device headers, use kernel headers instead

Change-Id: I0c8bb763f0ee7a59bf0a9d26676ddaa736b5bd94