serial_list_t
extern serial_list_t serials; /* In efiserialio.c */
serial_list_t serials = STAILQ_HEAD_INITIALIZER(serials);