The boot parameters are already set in the demo image. Just dd the the image to your SD card from the first sector and the card is ready to boot. By default, the display device is "hdmi".
To inspect and change the boot parameter, just hit any key in your serial console to stop the auto boot countdown and then type the command "printenv".
