Index: src/arch/i386/boot/pirq_routing.c
===================================================================
--- src/arch/i386/boot/pirq_routing.c	(revision 3677)
+++ src/arch/i386/boot/pirq_routing.c	(working copy)
@@ -137,7 +137,7 @@
 			/* yet not routed */
 			if (!pirq[link - 1]) {
 
-				for (k = 2; k < 15; k++) {
+				for (k = 2; k <= 15; k++) {
 
 					if (!((bitmap >> k) & 1))
 						continue;
