Reno:
I neglected to mention that the 'hole' must allow the cord cap (plug) to pass thru. A slot/notch buys a red sticker from me, and the other AHJ's here. The 'cord' must be NEC compliant for the DW and GD's. Most, if not all micros have factory cords.

Yes, good old common sense is not in the NEC


John