# If the frequency of your machine gets wrongly limited by BIOS, this should help
options processor ignore_ppc=1