Yes. If I got raspberrypi-firmware rebuilt now, they are included. Just name of one of them to start.elf and reboot, your away. Incidentally, when upgrading the same memory split file as you have is chosen for you