Hi, Sorry about the FAQ, but if one has installed FreedomBox on an sdcard in a Dreamplug is there any special procedure needed to update the kernel or does the normal apt-get update command take care of all of that sort of thing for you? Hopefully this can also be of interest to others.