Marita Werner <mawerner@suse.com> has asked openSUSE Kernel Bugs <kernel-bugs@opensuse.org> for needinfo: Bug 1169099: [Build 20200405][aarch64] crash: cannot determine VA_BITS_ACTUAL: please use /proc/kcore https://bugzilla.suse.com/show_bug.cgi?id=1169099 --- Comment #13 from Marita Werner <mawerner@suse.com> --- Do we have any update here?