Added a bit more recent version of kernel header declarations.