Thanks for the reply, but I'm definitely flashing 'VRZ_XT894_9.8.2O-72_VZW-18-8_CFC.xml/allow-mbmloader-flashing-mbm.bin'.
But after rebooting, the instructions say '...and show kexecboot menu for a few seconds before it boots to Android' and this just doesn't happen for me.
And after preparing the SD with Etcher, the instructions say 'Reboot the device and select Maemo Leste from the kexecboot menu', and again, there's no sign of a menu for me