[opensuse-kernel] How to boot openSUSE kernel on ARM board?