HTC Butterfly deluxe_u (x920d?) looking for stock boot.img

Hi All,

I have this phone here that is softbricked, so I'm looking for a stock rom (boot.img, containing kernel and ramdisk) for HTC Butterfly deluxe_u.

It has recovery TWRP 2.8<something> installed, but it is useless, because the underlying filesystems cannot be mounted due to (IMHO) an incompatible kernel / ramdisk that sits on the device now.
Symptoms:

• When trying to manually mount a partition, like /data according to /etc/fstab, the command fails with "Invalid argument".

• When trying to format the partition (e.g. mke2fs -j ext4 /dev/block/mmcblk0p34), the command fails with "Invalid block count".

To my understanding, this means that the current kernel doesn't know how to deal with the underlying filesystems / partitions in flash memory.

I do have a fair understanding of Linux and hardware, but I've always worked on PC's. I'm a complete noob to hacking Android, so forgive my ignorance.

If someone could provide me with a stock boot.img file, I'd be very happy. And learn a lot about the ways that make Android tick :)

Thanks in advance,
Ollie

Download from this link