patched minor copy&paste related problems

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8271 8c9fc860-2736-0410-a75d-ab315db34111

source/BIOS.AMD64.Machine.Mod

@@ -1,4 +1,4 @@
-GetMODULE Machine;	(** AUTHOR "pjm"; PURPOSE "Bootstrapping, configuration and machine interface"; *)
+MODULE Machine;	(** AUTHOR "pjm"; PURPOSE "Bootstrapping, configuration and machine interface"; *)
 
 (* The code of this module body must be the first in the statically linked boot file. *)
 

source/BIOS.I386.Machine.Mod

@@ -2141,6 +2141,10 @@ END InvalidateDCacheRange;
 PROCEDURE InvalidateICacheRange * (adr: ADDRESS; len: LONGINT);
 END InvalidateICacheRange;
 
+PROCEDURE -SetEAX(n: LONGINT);
+CODE{SYSTEM.i386}	POP EAX
+END SetEAX;
+
 (* Unexpected - Default interrupt handler *)
 PROCEDURE Unexpected(VAR state: State);
 VAR int: LONGINT; isr, irr: CHAR;