z50-raspi3-firmware: Change for use arm_64bit=1 (Closes: #925062)

As recommended by the upstream documentation, the new way to switch to
ARM 64 bits mode before loading the kernel is to use this variable,
instead of the "arm_control" bitfield.