Richard Braun d6d90a3276 x86/cpu: fix data/stack alignment hace 6 años
..
x86 d6d90a3276 x86/cpu: fix data/stack alignment hace 6 años