This patch adds the headers used by the library. kernel_lib.h contains
definitions taken from the Linux kernel.
Signed-off-by: NRoberto Sassu <roberto.sassu@huawei.com>