Ik weet toch niet zeker of het geen probleem is hoor. De nummer die je ingeeft speelt volgens mij inderdaad geen rol, maar er is wel een groot verschil tussen Passport of National ID-Card en dat staat geloof ik ook duidelijk afgedrukt op de boarding passes. Als je dan met een ID-kaart aanbiedt terwijl er daar paspoort opstaat, daar zouden ze wel eens moeilijk over kunnen doen.
Rijksregisternummer is verder ook niet hetzelfde als het documentnummer. Als je met ID-kaart reist moet je het documentnummer (begint meestal met 590-...) invoeren.
Ik zou eens naar de luchthaven bellen, wellicht kunnen zij er een antwoord op geven.