As I understand, ARM doesn\'t have a BIOS like x86, so there is not as much of a standardized boot process. But distributions like Ubuntu still publish .iso files for 64-bit