Benchmarking before and after Spectre BIOS fix


I guess the Spectre/Meltdown thing has been done to death. However I have an HP laptop, which has a BIOS update available. It seems to be a mitigation for Spectre. It is only a Core i7 dual core, so not exactly a multicore Xeon.
However would there be any interest in benchmarking the same Julia setup before and and after the BIOS upgrade? I have Windows 10 and Fedora in a dual boot.
Is there an easy way of running the Juli apubliched microbenchmarks?

HP are being a bit cagey on exactly what this BIOS update is for, but it definitely looks like a Spectre fix.