[PATCH] mmconfig: Share parts of mmconfig code between i386 and x86-64