Draft: main/arm-trusted-firmware: enable rk3399 support

I forgot to enable it in the last upgrade in which I added a patch for this platform 😒