Download binary file, driver-ipmi.pub