[SeaBIOS] [PATCH 05/11] usb: Rename free_pipe() to usb_free_pipe()