Btw, since with uboot you don't need to flash new kernels and can have concurrent kernels installed, why is it that the power kernel is installed as the only one instead of having the stock kernel present as an option?