@lerxst - please report a separate bug for that, and keep this bug focused on the kernel/initrd availability.
@lerxst - please report a separate bug for that, and keep this bug focused on the kernel/initrd availability.