enable the prefetchers in the cpu options - should give a boost from 47500 to 46200 +/-
also make sure you use the correct videocard as some old pci cards were known to slow down pi a lot

at...