In a post at
http://lalists.stanford.edu/lau/2005/03/0266.html
someone else with a UA-25 suggests using acpi_irq_balance kernel boot
parameter
OTOH I heard that ACPI should be better disabled for audio kernels, so I
did.
Thanks anyway for the pointer!
Best regards
ce