int pboot_add_device(const char *dev_id, const char *name,
twin_pixmap_t *pixmap);
int pboot_add_option(int devindex, const char *title,
int pboot_add_device(const char *dev_id, const char *name,
twin_pixmap_t *pixmap);
int pboot_add_option(int devindex, const char *title,