I heard booing when the teams were announced, but as you said, it was half hearted and only came from one section of the north stand. There wasn't any booing during the game.
It is stupid to boo someone because of their name, rather than anything they've done themselves. I wasn't outraged...