fixed kernel interface type hint