Bullshit the machine_phys_frames primitive in. We really need a better extern scheme.