[arch-releng] [RFC] ISO Releng size