Kernel:HEAD won't get 5.2-rc3 until tomorrow (I came to the office later so that I didn't update the branch before OBS submission deadline) but QA/aarch64 build of kernel-obs-qa in IBS project Devel:Kernel:master which used to fail with error like in the initial description now succeeds with 5.2-rc3 kernel.