Tags 1006141 +patch thanksThis was fixed in ubuntu a few months ago by adding ".fpu vfp" to the assembler file in question. (within the block of code that is only used on systems with the hard float ABI).
https://patches.ubuntu.com/s/supertuxkart/supertuxkart_1.3+dfsg1-2ubuntu1.patchI have just built the same fix successfully in raspbian bookworm-staging and uploaded it to raspbian. I haven't tested it in Debian myself but I'd be extremely surprised if it doesn't work.