[PATCH] x86-64: Add command line option to set machine check tolerance level