Same/similar problem here, with firmware built into the kernel (vanilla 3.11.0-rc2). With nomodeset the system boots, without it it doesn't.