use the generic version of setup_arch.h - it's the same.
Signed-off-by: NIngo Molnar <mingo@elte.hu>