diff --git a/src/sdinstall-rpi.sh b/src/sdinstall-rpi.sh
index b669948..c2c3ca6 100755
--- a/src/sdinstall-rpi.sh
+++ b/src/sdinstall-rpi.sh
@@ -77,24 +77,33 @@ udisks --mount $PARTITION2
 # loader.bin  : 3rd stage bootloader, starts with SDRAM enabled
 # start.elf   : The GPU binary firmware image, provided by the foundation
 # kernel.img  : The OS kernel to load on the ARM processor.
-for f in bootcode.bin loader.bin arm*_start.elf kernel*.img; do
+for f in bootcode.bin fixup_x.dat kernel.img start_x.elf LICENCE.broadcom; do
    cp $SWHOME/firmware/boot/$f $BOOTMP/
 done
 
-# use arm224_start.elf (224M system, 32MB GPU split) firmware by default
-cp $BOOTMP/arm224_start.elf $BOOTMP/start.elf
-
 # cmdline.txt : parameters passed to the kernel on boot
 echo "\
 dwc_otg.lpm_enable=0 \
-console=ttyAMA0,115200 \
-kgdboc=ttyAMA0,115200 \
-console=tty1 \
 root=/dev/mmcblk0p2 \
 rootfstype=ext4 \
-elevator=deadline \
-rootwait" > $BOOTMP/cmdline.txt
-#debug=1 \
+quiet \
+rootwait \
+splash" > $BOOTMP/cmdline.txt
+
+# Create the kernel configuration file
+echo "\
+arm_freq=800
+force_turbo=1
+gpu_mem=100
+disable_overscan=1
+start_file=start_x.elf
+fixup_file=fixup_x.dat
+framebuffer_depth=32
+framebuffer_ignore_alpha=1" > $BOOTMP/config.txt
+
+## Enable HDMI mode rather than DVI, if required
+#echo "\
+#hdmi_drive=2" >> $BOOTMP/config.txt
 
 # optional files:
 #   config.txt    : A configuration file read by the GPU.