Holas,
Estuve trasteando un poco con los ensambladores y la creación de OS y leyendo sobre el ensamblador GAS leí que si usas síntaxis intel en vez de AT&T los opcodes no estan tan optimizados en algunas ocasiones. Sabeis algo acerca de eso? La página a la que me refiero es la siguiente:
http://wiki.osdev.org/GAS
Un abrazo!