[WIP] Start porting to ARM64