/*
   * We can move mach/soc.h here once the drivers are fixed
   */
  #include <mach/soc.h>