The HP does not use boosting
The HP if an emulator can use 4 cores that is 2.4GHz x 4 = 9.6GHz even if an emulator only supported 2 cores that is still a combined 2.4GHz x 2 = 4.8Ghz that should be plenty for CPU use for PS2 emulation
from what I have read though pcsx2 can use up to 3 cores so for the HP laptop that is 2.4GHz x 3 = 7.2GHz
The Dell though can either boost itself to 2.4GHz on a single core or have a combined 1.8GHz x2 = 3.6GHz