[PATCH] x86_64: Memorize location of i8259 for reboots.