I just added it. It was used in the "boot kernel from usb drive" (kexec) thread, but that link was dead, so I fixed it too.
You can download the 5.0.0 kernel from the kexec or the debricking threads.
So go try again. It is there now. (It was there awhile back too.) It is hard to keep all these images from all these versions straight, especially when the file name conventions changed to take the new versions into account. Name changes make old posts confusing...