AFAIK pinball has been included in various source code leaks of Windows over the years. So you could presumably build it yourself should you somehow get the cod

AFAIK pinball has been included in various source code leaks of Windows over the years. So you could presumably build it yourself should you somehow get the code, although as noted from this saga it seems to be a bit sensitive to floating point behaviour so might not work right. It would've presumably been removed from the Windows source code tree circa Vista, so a while before even Windows 8 when ARM32 support started being added, let along ARM64. So I doubt any "official" builds exist.