kernel/pc64: Adjust some references to already removed i386.