All these files come from fpga-config-space/sdbfs: current top of master
(commit 2584f0053cda6db6390354711687c5cca5ea6aef)
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>