hw/boards: make it safe to include for linux-user