\r
DEBUG ((EFI_D_ERROR, "UART Enabled\n"));\r
\r
- // Start up a free running time so that the timer lib will work\r
+ // Start up a free running timer so that the timer lib will work\r
TimerInit ();\r
\r
// SEC phase needs to run library constructors by hand.\r