To be honest, you are expert and I'm a newbie, so I don't understand some described actions.
I know that ERK is still the same no matter OFW/CFW/HDD is installed. So I got ERK like below, was imported directly to USB pendrive. Only 1KB - is it ok?
When I connected HDD to PC ( now I know that...