Yep Marc,
You're right seems some mismatches on official sources.
In any case, I think the INE is focused on the primary stadistics for Spain: Demography and population, Consumer Price Index, etc...
In Postal Codes too are clasified as provinces
http://www.correos.es/comun/CodigosPostales/1010_s-CodPostal.asp