Hallo Lukas,

für einfache Tunnel bzw. Personenunterführungen kann man die Gebäudeeigenschaft sicher bestreiten, allerdings gibt es auch breite/komplexe Unterführungen mit abgehenden Geschäften  oder Warteräumen und/oder solche, die sich direkt an eine Empfangshalle im Empfangsgebäude anschließen und somit klar Gebäudecharakter haben. 
(Wikipedia/Musterbauordnung:  „Gebäude sind selbstständig benutzbare, überdeckte bauliche Anlagen, die von Menschen betreten werden können und geeignet oder bestimmt sind, dem Schutz von Menschen, Tieren oder Sachen zu dienen.“)

Zudem ist highway=corridor passend zum way, der den Grundriss der Unterführung darstellt und schon viele Jahre als indoor=corridor sowie als tunnel=yes getaggt ist - zwei unterschiedliche Perspektiven auf dasselbe Objekt, die sich nicht gegenseitig ausschließen (https://www.openstreetmap.org/way/409059388/history#map=19/50.969580/9.797568).

Aus unserer Sicht sind die reisendenrelevanten  baulichen Anlagen an einer Station - inklusive Unterführung, Treppen, Bahnsteigen - Teil der Verkehrsstation als einheitlich gedachtes Bauwerk bzw. Gebäude. 

Viele Grüße
dbsus