Anyone else seeing this? Thoughts on which choice to use?

linux:~ # zypper update
Refreshing service 'SUSE_Linux_Enterprise_Server_for_the_Raspberry_Pi _12_SP2_aarch64'.
Loading repository data...
Reading installed packages...

The following package update will NOT be installed:
yast2-core

Nothing to do.
linux:~ # zypper patch
Refreshing service 'SUSE_Linux_Enterprise_Server_for_the_Raspberry_Pi _12_SP2_aarch64'.
Loading repository data...
Reading installed packages...
Resolving package dependencies...

Problem: yast2-core-devel-3.1.23-6.38.aarch64 requires yast2-core = 3.1.23, but this requirement cannot be provided
Solution 1: Following actions will be done:
deinstallation of yast2-core-devel-3.1.23-6.38.aarch64
deinstallation of patterns-sdk-SDK-YaST-12-12.1.aarch64
Solution 2: do not install patch:SUSE-SLE-RPI-12-SP2-2016-1662-1.noarch
Solution 3: break yast2-core-devel-3.1.23-6.38.aarch64 by ignoring some of its dependencies

Choose from above solutions by number or cancel [1/2/3/c] (c):