hwrecords: use %d for 64-bit ints, %lu is not supported
* @brief the generic fields of a processor record
*/
#define HW_PROCESSOR_GENERIC_FIELDS "enabled: %d, " \
- "barrelfish_id: %" PRIuCOREID ", " \
- "hw_id: %" PRIuHWID ", " \
+ "barrelfish_id: %d, " \
+ "hw_id: %d, " \
"type: %d"
/**
