Optimizing website menu
Are you experiencing performance issues? If not, is this overhead really an issue?

If it is, how about caching the global menu for a really long time? https://craftcms.com/docs/templating/cache