These changes make the dev kit (and hopefully the imx8 board) use the supplied boot script.

I couldn't test whether the imx8 change works due to lack of hardware, therefore the last commit should be looked at with double scrutiny.