[Bug 1043423] New: Leap 42.3 kernel does not build for armv7