[HAL] MCU_K64F - files in MCU_K64F folder, as it is in the latest mbed master