Indeed, the broken provides can be seen here: https://build.opensuse.org/package/live_build_log/Kernel:SLE15-SP3/kernel-lpae/ARM/armv7l