The distance between the current ebp (once it is capture from esp) and y is indeed 8 bytes in this case as you have the return eip and the value of the previous ebp on the stack. Your diagram is correct from what I can tell though the left hand addresses are more confusing :)