Open Documentation for Hardware Why hardware documentation matters so much, why it is so hard to get from vendors, and what we can do to improve the situation Theo de Raadt