I have noticed a minor issue while running Hatari: --machine must be specified before --cpuclock and --fpu otherwise they revert to their default values. In my case I had --machine falcon after --cpuclock and --fpu and they were set to 16 MHz and "No FPU" respectively. I guess it's because "falcon" forces Hatari to have 68030@16 MHz by default.