moved kernel ids to inline header.