With Ubuntu 13.10 (3.11.0-15-generic) on a Lenovo T420 I encountered the same problem. Booting behaviour was erratic, it succeeded roughly every second or third time. The suggested workaround (kernel parameter pci=noacpi) works for the moment.
With Ubuntu 13.10 (3.11.0-15-generic) on a Lenovo T420 I encountered the same problem. Booting behaviour was erratic, it succeeded roughly every second or third time. The suggested workaround (kernel parameter pci=noacpi) works for the moment.