I'm using the MKV56F1M0VLL24 and despite all the documentations (datasheet, RM, even on MCUXpresso Config pins), showing that it has the HSADC component, the peripherals components doesn't show the HSADC, as it shows for the 58F.
56F:

In fact, the component doesn't show in the SKD manifest file (MKV56F1M0xxx24_manifest_v3_6.xml), nor the .c and .h files are in the 56F device folder.
I tried copying the files and updating the manigest file accordingly, to no avail.
Is it possible to update/fix the sdk with the correct configuration?
Thanks.