[PATCH] x86_64: Some housekeeping in local APIC code