get HKDs from

    https://www.ibm.com/support/resourcelink/host-key-document/

It's requuired to login with your IBM account and you have to know
the machine type and serial number for the target you are serving
the image to
