The devkit makefile is a public description on how Oracle builds the JDK in its CI system. This patch will update the devkit makefile to make Fedora 41 default for all platforms, and update the jib configuration to use devkits based on Fedora 41 and gcc 13.2.

Also some additional fixes are needed to make this work.