RPM packaging for the non-free Broadcom wifi drivers