These instructions resulted in an error and also caused my pi to stop booting from the SD card.
When restarting after removing the SD card, I got an error on the bootloader screen saying:
Invalid ELF header: 'start_x.elf'
Firmware not found
And it would keep repeating and showing this error...