Using software reboot on arm64 VPS causes this message to be repeated indefinitely on the serial console:
IRQ Exception at 0x00000000BBC11F38
IRQ Exception at 0x00000000BBC11F38
The only way to restart the server is then to use the API (e.g scw restart) or web interface.
Please tell me if this issue should be moved to another repo.