strange verbose boot log entry

[Alexander Best]

just booted r195677 (8.0-BETA1) with

verbose_loading="YES"
boot_verbose="YES"

and noticed this strange /var/log/messages entry:

Jul 15 21:45:05 otaku syslogd: kernel boot file is /boot/kernel/kernel

Jul 15 21:45:05 otaku kernel: 8) <----------

Jul 15 21:45:05 otaku kernel: ACPI: MCFG 0x7fee7e80 0003C (v1 GBT    GBTUACPI
42302E31 GBTU 01010101)
Jul 15 21:45:05 otaku kernel: ACPI: APIC 0x7fee7d00 00084 (v1 GBT    GBTUACPI
42302E31 GBTU 01010101)
Jul 15 21:45:05 otaku kernel: ACPI: SSDT 0x7fee8520 003AB (v1  PmRef    CpuPm
00003000 INTL 20040311)

comments?

alex