https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=207432 --- Comment #6 from Andy Carrel <wac at google.com> --- I can confirm that the attached patch does boot successfully in INTx mode. Thanks! -- You are receiving this mail because: You are on the CC list for the bug.