A little update: after reflashing the PR1.2 kernel with the flasher and then selecting the power40 kernel it won't boot either. It will only boot with the PR1.2 kernel. Booting the power kernel will exhibit the same behaviour like booting the hostmode kernel.