I dual boot Windows 7 & Arch Linux. Arch was stable for a while, but then it stopped booting into Arch, saying '/sbin/init: bad exec format'. This is followed by a kernel panic.
I'm not really sure how to fix this. Can I copy the binary off the USB stick I have that I installed Arch from? Or is it compiled when the kernel updates?