sdk: add missing kernel include files