Fix pretty printers
pretty printers for rtems_id and rtems_attribute