HPET support

Hei!

I have a rt-pae-kernel installed with HPET support enabled, but I noticed just now that I hadn’t enabled it in the BIOS so I did that. My question is, will it take any effect or do I have to reinstall the kernel?

Cheers!