(In reply to Matwey Kornilov from comment #3) > I see similar issue with Leap 42.2 at RPi3. There is no GIC on the RPi3.