Yes, kernel-builder assures the correct output format, but also adds additional validations such as checking whether a kernel is compatible with manylinux_2_28, uses Python ABI3 (for binary kernels), and that the kernel can be loaded using kernels (which entails using relative imports, etc.).