@colin.stephane - it should be in kernel-power.deb, just wget it and unpack it. though it seems to me that something else broken, I don't know how multiboot works, but aiui flashing a kernel should overwrite it. which you already did.