i think
(1)no editing required in config.txt if your hdmi connected device displays OK .(you can uncomment #hdmi_drive=2 if you do not get audio in OS)
(2)currently my cmdline.txt reads
dwc_otg.fiq_enable=1 dwc_otg.fiq_fsm_enable=1 dwc_otg.fiq_fsm_mask=0x3 dwc_otg.lpm_enable=0 console=ttyAMA0,115200 kgdboc=ttyAMA0,115200 console=tty1 initrd=0xa00000,3638903 root=/dev/ram0 elevator=deadline rootwait nortc loglevel=3 waitusb=5
Say , I want lst=server.lst & lst=local.lst in first & second entry respectively . There should be timeout of 30 seconds . Then , what should I do ?