doc: update developer demo OS instructions

Fixup the default ONIE file name.