kernel-syms does build so it's not that the kernel does not boot in OBS https://build.opensuse.org/packages/kernel-syms/job_history/Kernel:SLE15-SP3/ARM/armv7l