USB firmware: Beware of a new threat called BadUSB