Qubes Builder: fails to build kernel

That issue mentions a workaround:

Building for R4.0 would still have the same issue for the following reason:

By the way, how did you manage to get around the SELinux error?