Se separa el código de `threads/switch.S` y `threads/switch.h` en
archivos dedicados para cada una de las dos arquitecturas compatibles:
i386 y x86_64.