[PATCH] x86-64: Dynamically adjust machine check interval