MINI 4 having DRV8301 in mini4.h !

Dear all,

I have generated with success the binary firmware ver 6.05 for mini4, using the provided  hwconf/other/hw_mini4.c and   hwconf/other/hw_min4.h files.
Therefore, I do not understand why HW_HAS_DRV8301 is defined in hw_mini4.h,  knowing that there is absolutely no DRVxxx hardware on the MINI4 schematic.

#ifndef HW_MINI4_H_
#define HW_MINI4_H_

#define HW_NAME                    "MINI4"

// HW properties
#define HW_HAS_DRV8301
#define HW_HAS_3_SHUNTS
#define HW_HAS_PERMANENT_NRF
#define HW_HAS_PHASE_SHUNTS

Does the generated binary in these conditions will be able to execute "safely" on the target hardware, as depicted on the schematic ?

Thanks for the answer !