Can you explain more detaily how I can do that proccess. I need to run my Arch in the raspberry 4 with 64 bit instead of 32