add missing kernel includes