hey i do get this kernel. it says linux kernel for power user and below it linux kernel kernel for power user(boot image). is this the one?