Fix kernel itself_spec