The answer to another question: http://raspberrypi.stackexchange.com/questions/1411/wont-boot-after-removing-and-inserting-the-sd-card Suggests that four green flashes indicates that that loader.bin failed to launch, rather than start.elf. Have you checked that for corruption?