Just found the culprit: somehow the "Hot Plug" bit for the SATA port connected to the tray box got disabled in the BIOS. Really don't know how this could have happened, but I guess it must have been during a BIOS update as the misbehaviour could be reproduced on two otherwise identical systems. Strange!