Fermi adaptation of David Andersen's code in X-perimental kernel.