Just had time to try this, and I also confirm that once kernel power installed the armhf image works.

Thanks.