(In reply to Michal Suchanek from comment #43) > I suppose we could build kernel-default-uncompressed as we build > kernel-default-base. Side note: is only -default enough? I have pae, lpae on my mind. I don't think pae ends up on the installation media, not sure about arm...