Allow usage of kernel headers

based on arco media-legacy patch

Change-Id: I2cbaf4a6829858e483303a85b43f231329f17c4a