According to this thread in the Arch Linux forums, some people are having problems booting some versions of the Linux 3.7 kernel. Here are the numbers:
3.7.3 works for some, but not others
3.7.4 works for some, but not others
3.7.6 does not
3.7.8 does not
The problem occurs with both the Gummiboot and rEFInd boot managers, and has so far only been reported on Lenovo hardware. I have a ThinkPad W530, and can confirm that on Gummiboot, 3.7.6 does not work, whereas 3.7.5 and 3.7.7 does work. It looks like a Lenovo-related issue to me. It has only been reported on Arch Linux as far as I know. Has anyone else encountered this problem?