will redhat9 support the default smp manager?