This is the name of the user and computer that was used to build the kernel. "se.infra" isn't a username belonging to a real person, but an account used by the build infrastructure at Samsung. It's not relevant at all.
The thing you need to match is the Build number, shown just beneath the kernel version in the About device page of the device settings. It looks something like JSS15J.I9300XXUGNG3: everything after the "." is actually the build number for the baseband (modem firmware) that goes with the ROM. The first half of the build number is listed with each ROM on sites like sammobile.com that offer original Samsung ROMs for download.