@chrisr, thanks for pointing that. HP power supplies are really solid and this is a good price for one; I'll look into it.
Anyone in the UK? what power supply works best here?
@Annoyed I found some documents here and on Github: https://www.udoo.org/docs-bolt/Introduction/Introduction.html
Separate names with a comma.