x86: remove legacy stuff from processor_64.h