--- usr/lib/setup/SeTkernel.orig	2003-08-25 21:51:59.000000000 +0100
+++ usr/lib/setup/SeTkernel	2006-05-03 14:24:36.000000000 +0100
@@ -1,4 +1,11 @@
 #!/bin/sh
+
+# For ARMedslack we can't set a Kernel here -- we need to do it
+# via our RISC OS boot loader.
+# How other ARM based platforms (Netwinder et al) work, I don't know
+# and since I don't have those machines I can't do any work for them anyway :)
+exit 0
+
 TMP=/var/log/setup/tmp
 # Here's the default kernel install location:
 KERNEL=/boot/vmlinuz