Forse vi sorprenderà, ma concordo con loro! In fondo CPU x86 che non supportano SSE2 sono di 15 - 20 anni fa (si parla dei tempi del Pentium IV!) e non ha più molto senso supportarli... SSE2 permette anche di "dismettere" l'orrenda FPU x87.
In Cosmos benché il kernel sia - al momento - solo 32 bit abbiano deciso di non supportare più CPU che non abbiano supporto ad SSE2, il codice per la FPU x87 l'ho cancellato personalmente con somma gioa