board: stm32mp1: Add env_ext4_get_dev_part() and env_ext4_get_intf()