I tested with the most recent 3.16 upstream kernel (3.16.7 from 201410301735), and my system boots correctly with this kernel. Thank you for your help!
I tested with the most recent 3.16 upstream kernel (3.16.7 from 201410301735), and my system boots correctly with this kernel.
Thank you for your help!