Use a list for device->boot_options