@Martin, as you don't have the same hardware, the root cause is different - please file a separate bug.
@Martin, as you don't have the same hardware, the root cause is different - please file a separate bug.