Well, the issue got fixed in the raspi-config repository, so the next raspi-config release should make the problem go away.