[PATCH] x86_64: Increase number of IO-APICs