https://bugzilla.kernel.org/show_bug.cgi?id=47321
--- Comment #6 from Marcel Pol marcel@timelord.nl 2012-09-10 20:40:21 --- Ah, thanks. I should have thought of that, firmware. With loading the firmware it now boots up fine. I will attach some dmesg parts with and without firmware.