bootmenu works in both cases. With other components I guess it could only help. I can hardly imagine component that would depend on current state of mmc device name being random. Without the patch internal eMMC name (as seen by kernel) is changing between mmcblk1 and 0 depending or microSD being inserted at boot time or not. With this patch device names are same no matter what. In reality it is not that bad since udev rules try to hide it. It only matters at boot time or when something is using low level info like parsing /proc/partitions or assuming that /dev/mmcblk0 and /sys/block/mmcblk0 matches etc..