+ # x86-xen (Legacy XEN) kernel build
+ ipfiremake linux2 KCFG="-xen"
+ ipfiremake v4l-dvb KCFG="-xen"
+ ipfiremake mISDN KCFG="-xen"
+ ipfiremake cryptodev KCFG="-xen"
+ ipfiremake compat-wireless KCFG="-xen"
+ ipfiremake r8169 KCFG="-xen"
+ ipfiremake r8168 KCFG="-xen"
+ ipfiremake r8101 KCFG="-xen"
+ ipfiremake e1000 KCFG="-xen"
+ ipfiremake e1000e KCFG="-xen"
+ ipfiremake igb KCFG="-xen"
+
+ # x86-pae (Native and new XEN) kernel build