Or is any updating required for the latest fix? Maybe the kernel image is still on the on-board flash, so thing will work magically?
Is there a way to only update the kernel image, perhaps?