USB issues on HP laptop

ReactOS live is unable to boot on HP Elitebook 9470 laptop. See hardware specs in the attached HTML file, and the debug log (with backtrace, in pictures) in the JPEG files. I guess this is due (almost?) to the already-known same USB problems reported in JIRA.
Original report was on the forum: http://www.reactos.org/forum/viewtopic.php?f=4&t=14801
Cc thfabba and vgal.