(In reply to Fabian Vogt from comment #15) > The uncompressed kernel-firmware needs the same workaround. Indeed (although it shouldn't be used on normal systems at all). Will fix it.