Fix clock.h not found and add PCI_REV 0x83 support to fxp driver.

Modified arch_smp.c to allow it to build when building with SMP support.  Passes build test.
Modified fxp.h and fxp.c to allow PCI_REV 0x83 to be identified and configured.  Currently using modified driver on my development laptop.