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 least for tp45hp there were modified bioses that made 45xxx and even 449xx possible. look for those