@vftdan libreboot is really only for initing the braindead hardware of x86 and AMD64 computers.
Typically you would want to use something like u-boot.
Those brainchips are going to be 40W AMD64 CPU's that run windows aren't they?