[PATCH] Add SMP support on x86_64 to reservation framework