Index: boot/arch/ia64/src/main.c
===================================================================
--- boot/arch/ia64/src/main.c	(revision 577fe9b66437c659dd86ce8cb1588daf58b9bae2)
+++ boot/arch/ia64/src/main.c	(revision 0cf27ee8c50ec7e07748f2e04672e911b9e30b77)
@@ -36,4 +36,5 @@
 #include <genarch/efi.h>
 #include <arch/sal.h>
+#include <arch/pal.h>
 #include <halt.h>
 #include <printf.h>
@@ -121,6 +122,5 @@
 {
 	if (bootpar) {
-		/* TODO: read the real value from PAL */
-		bootinfo.freq_scale = DEFAULT_FREQ_SCALE;
+		bootinfo.freq_scale = pal_proc_freq_ratio();
 	} else {
 		/* Configure default values for simulators. */