OK it works now, thanks Pali.
Though I still wonder why is kernel-power-flasher needed if one's using U-Boot anyway.