Fix debug print in intel.c not using the new struct layout