Add missing kernel headers