Differences between revisions 13 and 18 (spanning 5 versions)
Revision 13 as of 2014-04-12 09:07:37
Size: 65178
Editor: ?KjoHansiGlaz
Comment: Document reserved memory regions issue
Revision 18 as of 2017-02-06 23:53:10
Size: 66429
Editor: ?MattWhitehead
Comment: clarify
Deletions are marked like this. Additions are marked like this.
Line 33: Line 33:
|| Switch to External Screen || [?] || || Switch to External Screen || {i} ||
Line 59: Line 59:
Tested system runs jessie/testing and uses systemd as init. Tested system runs sid/unstable and uses systemd as init.
Line 71: Line 71:
I didn't try to attach an external screen. External screen works find *but* laptop screen backlight is reset to 0 when
connecting/disconnecting the external screen, thus becoming black. One should
use the keys to adjust its its backlight level.
Line 134: Line 136:
The system sometimes fails to resume with the following message: `PM: Image mismatch: memory size`. On kernel prior to 3.16, the system sometimes fails to resume with the following message: `PM: Image mismatch: memory size`.
Line 174: Line 176:
While DebianPkg:firmware-b43-installer will get the WiFi card to work, it will not detect or connect to 5ghz band networks and may be more prone to drop connections as the driver is out of date. If installing a driver from the non-free repository doesn't bother you, then I would instead suggest installing DebianPkg:broadcom-sta-common, DebianPkg:broadcom-sta-source, and DebianPkg:broadcom-sta-dkms along with kernel headers. The STA driver is much newer and will support 5ghz band networks. This command should be able to install everything all in one go:

{{{sudo apt-get install linux-headers-$(uname -r) && sudo apt-get install broadcom-sta-common broadcom-sta-source broadcom-sta-dkms}}}

Make sure you're connected to ethernet and have the contrib repository selected for the b43 driver or the non-free repository for the STA driver before attempting to install (See SourcesList).
Line 176: Line 183:
Resume from hibernation sometimes fails with `PM: Image mismatch: memory size`. '''[Update] this issue didn't hit me since kernel version 3.16'''

On kernel prior to 3.16, r
esume from hibernation sometimes fails with `PM: Image mismatch: memory size`.
Line 180: Line 189:
Kernel version is: It looks like adding `acpi_osi=Darwin` to the kernel command line solves the issue with kernel

Translation(s): none

DebianOn is an effort to document how to install, configure and use Debian on some specific hardware. Therefore potential buyers would know if that hardware is supported and owners would know how get the best out of that hardware.

The purpose is not to duplicate the Debian Official Documentation, but to document how to install Debian on some specific hardware.

If you need help to get Debian running on your hardware, please have a look at our user support channels where you may find specific channels (mailing list, IRC channel) dedicated to certain types of hardware.

Models covered
Apple MacBook Pro 9,2

Sub-models options :
- CPU : Intel(R) Core(TM) i5-3210M

Overall Status

Core Components


Boot Standard Kernel:


LAN network card:


Detect CD/DVD:


Detect hard drives:


Extra Features

CPU Frequency Scaling




Sleep / Suspend




- OpenGL


- Resize-and-Rotate(randr)


Switch to External Screen



- Built-in (Touchpad)


Build-in SDHC






Keyboard's Hotkeys




Legend :
{OK} = OK ; {X} Unsupported(No Driver) ; /!\ = Error (Couldn't get it working); [?] Unknown, Not Test ; [-] Not-applicable
{i} = Configuration Required; X-( = Only works with a non-free driver and or firmware

Important Note

Install of Debian Jessie from 20140116 nightly installer went fine, but after the install it will refuse to boot.

I found three ways to fix that :

  • using the bless command from OS X (available from a recovery disk terminal). Mount your EFI partition as /Volumes/Efi and issue te following commands as root: bless --folder /Volumes/Efi/EFI/debian --file /Volumes/Efi/EFI/Debian/grubx64.efi --label Debian --setBoot and bless --mount /Volumes/Efi/EFI/debian --file /Volumes/Efi/EFI/Debian/grubx64.efi --label Debian --setBoot

  • copying /boot/efi/EFI/debian/grubx64.efi to EFI/boot/bootx64.efi (this doesn't require OS X but won't survive a grub reinstall)

  • using a refit or refind boot CD (you don't need it with the two above options)


Tested system runs sid/unstable and uses systemd as init.


Works as expected with i915.

Adjusting screen and keyboard backlight brightness works fine under X11.

External screen works find *but* laptop screen backlight is reset to 0 when connecting/disconnecting the external screen, thus becoming black. One should use the keys to adjust its its backlight level.


Works fine out of the box. Adjusting volume with the keyboard works, as well as multimedia keys.


Touchpad works out of the box.

Better support can be achieved with the xserver-xorg-input-mtrack driver.

Power Management

Suspend to RAM

Suspend to RAM works out of the box, at least with systemd.

Suspend to disk

Hibernation and resume mostly works with systemd when booting off the hard drive or USB with the b43 module unloaded.

Dropping the following script in /lib/systemd/system-sleep/ achieve that:

if [ "$2" = "hibernate" ] ; then
    if [ "$1" = "pre" ] ; then
        logger -t "hibernate-fixup" "Unloading module b43"
        modprobe -r b43
    elif [ "$1" = "post" ] ; then
        logger -t "hibernate-fixup" "Reloading module b43"
        modprobe b43

The touchpad is unresponsive after wakeup, but this can be fixed by unloading and reloading the bcm5972 module.

Dropping the following script in /lib/systemd/system-sleep/ achieve that:

if [ "$2" = "hibernate" ] ; then
    if [ "$1" = "pre" ] ; then
        logger -t "hibernate-fixup" "Unloading module bcm5974"
        modprobe -r bcm5974
   elif [ "$1" = "post" ] ; then
        logger -t "hibernate-fixup" "Reloading module bcm5974"
        modprobe bcm5974

On kernel prior to 3.16, the system sometimes fails to resume with the following message: PM: Image mismatch: memory size. See "reserved memory region issue" below.

Booting off an SD card seems to break resume from hibernation. This might be related to the following kernel message:

irq 17: nobody cared (try booting with the "irqpoll" option)
CPU: 0 PID: 0 Comm: swapper/0 Tainted: G         C   3.12-1-amd64 #1 Debian 3.12.9-1
Call Trace:
 <IRQ>  [<ffffffff8148be76>] ? dump_stack+0x41/0x51
 [<ffffffff810a7298>] ? __report_bad_irq+0x28/0xc0
 [<ffffffff810a76aa>] ? note_interrupt+0x13a/0x200
 [<ffffffff810a524d>] ? handle_irq_event_percpu+0xcd/0x1b0
 [<ffffffff810a5363>] ? handle_irq_event+0x33/0x50
 [<ffffffff810a8138>] ? handle_fasteoi_irq+0x58/0x100
 [<ffffffff81014338>] ? handle_irq+0x18/0x30
 [<ffffffff81013ed0>] ? do_IRQ+0x40/0xb0
 [<ffffffff8149192d>] ? common_interrupt+0x6d/0x6d
 <EOI>  [<ffffffff81377d6d>] ? cpuidle_enter_state+0x4d/0xc0
 [<ffffffff81377e96>] ? cpuidle_idle_call+0xb6/0x1f0
 [<ffffffff8101ae75>] ? arch_cpu_idle+0x5/0x30
 [<ffffffff810a457e>] ? cpu_startup_entry+0xde/0x270
 [<ffffffff818c0eb8>] ? start_kernel+0x42a/0x435
 [<ffffffff818c08b3>] ? repair_env_string+0x58/0x58
 [<ffffffff818c0120>] ? early_idt_handlers+0x120/0x120
 [<ffffffff818c06ce>] ? x86_64_start_kernel+0x10c/0x11b
[<ffffffffa0115ea0>] sdhci_irq [sdhci]
Disabling IRQ #17


Bluetooth adapter is recognized but I didn't test it.


BCM4331 wireless card requires firmware installed by the firmware-b43-installer package.

While firmware-b43-installer will get the WiFi card to work, it will not detect or connect to 5ghz band networks and may be more prone to drop connections as the driver is out of date. If installing a driver from the non-free repository doesn't bother you, then I would instead suggest installing broadcom-sta-common, broadcom-sta-source, and broadcom-sta-dkms along with kernel headers. The STA driver is much newer and will support 5ghz band networks. This command should be able to install everything all in one go:

sudo apt-get install linux-headers-$(uname -r) && sudo apt-get install broadcom-sta-common broadcom-sta-source broadcom-sta-dkms

Make sure you're connected to ethernet and have the contrib repository selected for the b43 driver or the non-free repository for the STA driver before attempting to install (See SourcesList).

Reserved memory regions issue

[Update] this issue didn't hit me since kernel version 3.16

On kernel prior to 3.16, resume from hibernation sometimes fails with PM: Image mismatch: memory size. It turns out that the total memory reported by free -b varies by 45056. It looks like the firmware doesn't always return the same reserved memory regions to the OS. See the diff between the beginning of kernel output below. It looks like adding acpi_osi=Darwin to the kernel command line solves the issue with kernel Linux version 3.13-1-amd64 (debian-kernel@lists.debian.org) (gcc version 4.8.2 (D45056ebian 4.8.2-16) ) #1 SMP Debian 3.13.7-1 (2014-03-25)

$ diff -Naur kern.log-1 kern.log-2 
--- kern.log-1  2014-04-09 17:25:28.764979157 +0200
+++ kern.log-2  2014-04-09 17:25:28.764979157 +0200
@@ -16,8 +15,8 @@
 BIOS-e820: [mem 0x000000008ad14000-0x000000008ad52fff] ACPI NVS
 BIOS-e820: [mem 0x000000008ad53000-0x000000008ad68fff] usable
 BIOS-e820: [mem 0x000000008ad69000-0x000000008ad8efff] ACPI data
-BIOS-e820: [mem 0x000000008ad8f000-0x000000008ae3afff] usable
-BIOS-e820: [mem 0x000000008ae3b000-0x000000008ae8efff] reserved
+BIOS-e820: [mem 0x000000008ad8f000-0x000000008ae30fff] usable
+BIOS-e820: [mem 0x000000008ae31000-0x000000008ae8efff] reserved
 BIOS-e820: [mem 0x000000008ae8f000-0x000000008aecdfff] usable
 BIOS-e820: [mem 0x000000008aece000-0x000000008aefefff] reserved
 BIOS-e820: [mem 0x000000008aeff000-0x000000008af91fff] usable
@@ -37,246 +36,293 @@
 efi: mem03: type=2, attr=0xf, range=[0x0000000000100000-0x0000000000fbd000) (14MB)
 efi: mem04: type=7, attr=0xf, range=[0x0000000000fbd000-0x0000000020000000) (496MB)
 efi: mem05: type=0, attr=0xf, range=[0x0000000020000000-0x0000000020200000) (2MB)
-efi: mem06: type=7, attr=0xf, range=[0x0000000020200000-0x0000000034fbc000) (333MB)
-efi: mem07: type=2, attr=0xf, range=[0x0000000034fbc000-0x00000000367d6000) (24MB)
-efi: mem08: type=7, attr=0xf, range=[0x00000000367d6000-0x0000000040004000) (152MB)
+efi: mem06: type=7, attr=0xf, range=[0x0000000020200000-0x000000003511a000) (335MB)
+efi: mem07: type=2, attr=0xf, range=[0x000000003511a000-0x0000000036885000) (23MB)
+efi: mem08: type=7, attr=0xf, range=[0x0000000036885000-0x0000000040004000) (151MB)
 efi: mem09: type=0, attr=0xf, range=[0x0000000040004000-0x0000000040005000) (0MB)
-efi: mem10: type=7, attr=0xf, range=[0x0000000040005000-0x0000000065a98000) (602MB)
-efi: mem11: type=2, attr=0xf, range=[0x0000000065a98000-0x0000000087d0f000) (546MB)
-efi: mem12: type=4, attr=0xf, range=[0x0000000087d0f000-0x0000000087d24000) (0MB)
-efi: mem13: type=7, attr=0xf, range=[0x0000000087d24000-0x0000000088b2f000) (14MB)
-efi: mem14: type=1, attr=0xf, range=[0x0000000088b2f000-0x0000000088b4e000) (0MB)
-efi: mem15: type=4, attr=0xf, range=[0x0000000088b4e000-0x0000000089420000) (8MB)
-efi: mem16: type=7, attr=0xf, range=[0x0000000089420000-0x0000000089444000) (0MB)
-efi: mem17: type=4, attr=0xf, range=[0x0000000089444000-0x000000008949a000) (0MB)
-efi: mem18: type=2, attr=0xf, range=[0x000000008949a000-0x000000008949b000) (0MB)
-efi: mem19: type=4, attr=0xf, range=[0x000000008949b000-0x000000008958d000) (0MB)
-efi: mem20: type=2, attr=0xf, range=[0x000000008958d000-0x000000008958e000) (0MB)
-efi: mem21: type=4, attr=0xf, range=[0x000000008958e000-0x00000000895a7000) (0MB)
-efi: mem22: type=3, attr=0xf, range=[0x00000000895a7000-0x00000000895af000) (0MB)
-efi: mem23: type=4, attr=0xf, range=[0x00000000895af000-0x00000000895ca000) (0MB)
-efi: mem24: type=3, attr=0xf, range=[0x00000000895ca000-0x00000000895cc000) (0MB)
-efi: mem25: type=4, attr=0xf, range=[0x00000000895cc000-0x00000000895d4000) (0MB)
-efi: mem26: type=3, attr=0xf, range=[0x00000000895d4000-0x00000000895db000) (0MB)
-efi: mem27: type=2, attr=0xf, range=[0x00000000895db000-0x00000000895dc000) (0MB)
-efi: mem28: type=3, attr=0xf, range=[0x00000000895dc000-0x00000000895dd000) (0MB)
-efi: mem29: type=4, attr=0xf, range=[0x00000000895dd000-0x00000000895df000) (0MB)
-efi: mem30: type=3, attr=0xf, range=[0x00000000895df000-0x00000000895e0000) (0MB)
-efi: mem31: type=4, attr=0xf, range=[0x00000000895e0000-0x00000000895e2000) (0MB)
-efi: mem32: type=3, attr=0xf, range=[0x00000000895e2000-0x00000000895e7000) (0MB)
-efi: mem33: type=4, attr=0xf, range=[0x00000000895e7000-0x0000000089602000) (0MB)
-efi: mem34: type=3, attr=0xf, range=[0x0000000089602000-0x0000000089606000) (0MB)
-efi: mem35: type=4, attr=0xf, range=[0x0000000089606000-0x000000008960a000) (0MB)
-efi: mem36: type=2, attr=0xf, range=[0x000000008960a000-0x000000008960b000) (0MB)
-efi: mem37: type=4, attr=0xf, range=[0x000000008960b000-0x000000008960c000) (0MB)
-efi: mem38: type=3, attr=0xf, range=[0x000000008960c000-0x000000008960d000) (0MB)
-efi: mem39: type=4, attr=0xf, range=[0x000000008960d000-0x000000008960f000) (0MB)
-efi: mem40: type=3, attr=0xf, range=[0x000000008960f000-0x0000000089610000) (0MB)
-efi: mem41: type=4, attr=0xf, range=[0x0000000089610000-0x0000000089611000) (0MB)
-efi: mem42: type=3, attr=0xf, range=[0x0000000089611000-0x000000008961b000) (0MB)
-efi: mem43: type=4, attr=0xf, range=[0x000000008961b000-0x0000000089621000) (0MB)
-efi: mem44: type=3, attr=0xf, range=[0x0000000089621000-0x0000000089623000) (0MB)
-efi: mem45: type=2, attr=0xf, range=[0x0000000089623000-0x0000000089624000) (0MB)
-efi: mem46: type=4, attr=0xf, range=[0x0000000089624000-0x000000008963c000) (0MB)
-efi: mem47: type=3, attr=0xf, range=[0x000000008963c000-0x0000000089678000) (0MB)
-efi: mem48: type=4, attr=0xf, range=[0x0000000089678000-0x000000008968d000) (0MB)
-efi: mem49: type=3, attr=0xf, range=[0x000000008968d000-0x0000000089690000) (0MB)
-efi: mem50: type=4, attr=0xf, range=[0x0000000089690000-0x0000000089695000) (0MB)
-efi: mem51: type=2, attr=0xf, range=[0x0000000089695000-0x0000000089696000) (0MB)
-efi: mem52: type=4, attr=0xf, range=[0x0000000089696000-0x00000000896be000) (0MB)
-efi: mem53: type=3, attr=0xf, range=[0x00000000896be000-0x00000000896d6000) (0MB)
-efi: mem54: type=4, attr=0xf, range=[0x00000000896d6000-0x00000000896e4000) (0MB)
-efi: mem55: type=3, attr=0xf, range=[0x00000000896e4000-0x00000000896ee000) (0MB)
-efi: mem56: type=4, attr=0xf, range=[0x00000000896ee000-0x00000000896fc000) (0MB)
-efi: mem57: type=3, attr=0xf, range=[0x00000000896fc000-0x00000000896fe000) (0MB)
-efi: mem58: type=4, attr=0xf, range=[0x00000000896fe000-0x0000000089703000) (0MB)
-efi: mem59: type=3, attr=0xf, range=[0x0000000089703000-0x000000008971c000) (0MB)
-efi: mem60: type=4, attr=0xf, range=[0x000000008971c000-0x000000008971e000) (0MB)
-efi: mem61: type=3, attr=0xf, range=[0x000000008971e000-0x000000008971f000) (0MB)
-efi: mem62: type=2, attr=0xf, range=[0x000000008971f000-0x0000000089720000) (0MB)
-efi: mem63: type=4, attr=0xf, range=[0x0000000089720000-0x0000000089721000) (0MB)
-efi: mem64: type=3, attr=0xf, range=[0x0000000089721000-0x0000000089722000) (0MB)
-efi: mem65: type=4, attr=0xf, range=[0x0000000089722000-0x0000000089725000) (0MB)
-efi: mem66: type=3, attr=0xf, range=[0x0000000089725000-0x0000000089726000) (0MB)
-efi: mem67: type=2, attr=0xf, range=[0x0000000089726000-0x0000000089727000) (0MB)
-efi: mem68: type=4, attr=0xf, range=[0x0000000089727000-0x0000000089728000) (0MB)
-efi: mem69: type=3, attr=0xf, range=[0x0000000089728000-0x000000008972e000) (0MB)
-efi: mem70: type=4, attr=0xf, range=[0x000000008972e000-0x0000000089730000) (0MB)
-efi: mem71: type=3, attr=0xf, range=[0x0000000089730000-0x0000000089731000) (0MB)
-efi: mem72: type=4, attr=0xf, range=[0x0000000089731000-0x0000000089734000) (0MB)
-efi: mem73: type=3, attr=0xf, range=[0x0000000089734000-0x0000000089735000) (0MB)
-efi: mem74: type=4, attr=0xf, range=[0x0000000089735000-0x0000000089736000) (0MB)
-efi: mem75: type=3, attr=0xf, range=[0x0000000089736000-0x0000000089738000) (0MB)
-efi: mem76: type=2, attr=0xf, range=[0x0000000089738000-0x0000000089739000) (0MB)
-efi: mem77: type=4, attr=0xf, range=[0x0000000089739000-0x000000008973b000) (0MB)
-efi: mem78: type=3, attr=0xf, range=[0x000000008973b000-0x000000008973c000) (0MB)
-efi: mem79: type=2, attr=0xf, range=[0x000000008973c000-0x000000008973d000) (0MB)
-efi: mem80: type=4, attr=0xf, range=[0x000000008973d000-0x000000008973e000) (0MB)
-efi: mem81: type=3, attr=0xf, range=[0x000000008973e000-0x0000000089741000) (0MB)
-efi: mem82: type=4, attr=0xf, range=[0x0000000089741000-0x0000000089742000) (0MB)
-efi: mem83: type=3, attr=0xf, range=[0x0000000089742000-0x0000000089743000) (0MB)
-efi: mem84: type=4, attr=0xf, range=[0x0000000089743000-0x0000000089744000) (0MB)
-efi: mem85: type=3, attr=0xf, range=[0x0000000089744000-0x000000008974b000) (0MB)
-efi: mem86: type=4, attr=0xf, range=[0x000000008974b000-0x000000008974d000) (0MB)
-efi: mem87: type=3, attr=0xf, range=[0x000000008974d000-0x0000000089752000) (0MB)
-efi: mem88: type=4, attr=0xf, range=[0x0000000089752000-0x0000000089753000) (0MB)
-efi: mem89: type=3, attr=0xf, range=[0x0000000089753000-0x0000000089754000) (0MB)
-efi: mem90: type=4, attr=0xf, range=[0x0000000089754000-0x0000000089756000) (0MB)
-efi: mem91: type=3, attr=0xf, range=[0x0000000089756000-0x000000008975c000) (0MB)
-efi: mem92: type=4, attr=0xf, range=[0x000000008975c000-0x000000008975e000) (0MB)
-efi: mem93: type=3, attr=0xf, range=[0x000000008975e000-0x0000000089760000) (0MB)
-efi: mem94: type=2, attr=0xf, range=[0x0000000089760000-0x0000000089761000) (0MB)
-efi: mem95: type=4, attr=0xf, range=[0x0000000089761000-0x0000000089762000) (0MB)
-efi: mem96: type=3, attr=0xf, range=[0x0000000089762000-0x0000000089766000) (0MB)
-efi: mem97: type=4, attr=0xf, range=[0x0000000089766000-0x000000008976a000) (0MB)
-efi: mem98: type=2, attr=0xf, range=[0x000000008976a000-0x000000008976b000) (0MB)
-efi: mem99: type=4, attr=0xf, range=[0x000000008976b000-0x0000000089773000) (0MB)
-efi: mem100: type=3, attr=0xf, range=[0x0000000089773000-0x000000008978f000) (0MB)
-efi: mem101: type=4, attr=0xf, range=[0x000000008978f000-0x0000000089798000) (0MB)
-efi: mem102: type=3, attr=0xf, range=[0x0000000089798000-0x000000008979f000) (0MB)
-efi: mem103: type=4, attr=0xf, range=[0x000000008979f000-0x00000000897a2000) (0MB)
-efi: mem104: type=3, attr=0xf, range=[0x00000000897a2000-0x00000000897a9000) (0MB)
-efi: mem105: type=4, attr=0xf, range=[0x00000000897a9000-0x00000000897ab000) (0MB)
-efi: mem106: type=3, attr=0xf, range=[0x00000000897ab000-0x00000000897bf000) (0MB)
-efi: mem107: type=4, attr=0xf, range=[0x00000000897bf000-0x00000000897c0000) (0MB)
-efi: mem108: type=3, attr=0xf, range=[0x00000000897c0000-0x00000000897c4000) (0MB)
-efi: mem109: type=4, attr=0xf, range=[0x00000000897c4000-0x00000000897c8000) (0MB)
-efi: mem110: type=3, attr=0xf, range=[0x00000000897c8000-0x00000000897cc000) (0MB)
-efi: mem111: type=2, attr=0xf, range=[0x00000000897cc000-0x00000000897cd000) (0MB)
-efi: mem112: type=4, attr=0xf, range=[0x00000000897cd000-0x00000000897d3000) (0MB)
-efi: mem113: type=2, attr=0xf, range=[0x00000000897d3000-0x00000000897d4000) (0MB)
-efi: mem114: type=4, attr=0xf, range=[0x00000000897d4000-0x00000000897d5000) (0MB)
-efi: mem115: type=3, attr=0xf, range=[0x00000000897d5000-0x00000000897d8000) (0MB)
-efi: mem116: type=4, attr=0xf, range=[0x00000000897d8000-0x00000000897da000) (0MB)
-efi: mem117: type=3, attr=0xf, range=[0x00000000897da000-0x00000000897ec000) (0MB)
-efi: mem118: type=4, attr=0xf, range=[0x00000000897ec000-0x00000000897f3000) (0MB)
-efi: mem119: type=3, attr=0xf, range=[0x00000000897f3000-0x00000000897fa000) (0MB)
-efi: mem120: type=4, attr=0xf, range=[0x00000000897fa000-0x00000000897fb000) (0MB)
-efi: mem121: type=3, attr=0xf, range=[0x00000000897fb000-0x00000000897fd000) (0MB)
-efi: mem122: type=4, attr=0xf, range=[0x00000000897fd000-0x00000000897ff000) (0MB)
-efi: mem123: type=2, attr=0xf, range=[0x00000000897ff000-0x0000000089800000) (0MB)
-efi: mem124: type=4, attr=0xf, range=[0x0000000089800000-0x0000000089801000) (0MB)
-efi: mem125: type=3, attr=0xf, range=[0x0000000089801000-0x0000000089802000) (0MB)
-efi: mem126: type=4, attr=0xf, range=[0x0000000089802000-0x0000000089805000) (0MB)
-efi: mem127: type=3, attr=0xf, range=[0x0000000089805000-0x0000000089820000) (0MB)
-efi: mem128: type=4, attr=0xf, range=[0x0000000089820000-0x0000000089822000) (0MB)
-efi: mem129: type=3, attr=0xf, range=[0x0000000089822000-0x0000000089832000) (0MB)
-efi: mem130: type=4, attr=0xf, range=[0x0000000089832000-0x0000000089835000) (0MB)
-efi: mem131: type=2, attr=0xf, range=[0x0000000089835000-0x0000000089836000) (0MB)
-efi: mem132: type=4, attr=0xf, range=[0x0000000089836000-0x0000000089837000) (0MB)
-efi: mem133: type=3, attr=0xf, range=[0x0000000089837000-0x000000008983e000) (0MB)
-efi: mem134: type=4, attr=0xf, range=[0x000000008983e000-0x0000000089841000) (0MB)
-efi: mem135: type=3, attr=0xf, range=[0x0000000089841000-0x0000000089842000) (0MB)
-efi: mem136: type=4, attr=0xf, range=[0x0000000089842000-0x0000000089845000) (0MB)
-efi: mem137: type=2, attr=0xf, range=[0x0000000089845000-0x0000000089846000) (0MB)
-efi: mem138: type=4, attr=0xf, range=[0x0000000089846000-0x0000000089847000) (0MB)
-efi: mem139: type=3, attr=0xf, range=[0x0000000089847000-0x0000000089849000) (0MB)
-efi: mem140: type=4, attr=0xf, range=[0x0000000089849000-0x000000008984c000) (0MB)
-efi: mem141: type=3, attr=0xf, range=[0x000000008984c000-0x000000008984d000) (0MB)
-efi: mem142: type=4, attr=0xf, range=[0x000000008984d000-0x0000000089851000) (0MB)
-efi: mem143: type=3, attr=0xf, range=[0x0000000089851000-0x0000000089853000) (0MB)
-efi: mem144: type=4, attr=0xf, range=[0x0000000089853000-0x0000000089854000) (0MB)
-efi: mem145: type=3, attr=0xf, range=[0x0000000089854000-0x0000000089857000) (0MB)
-efi: mem146: type=4, attr=0xf, range=[0x0000000089857000-0x0000000089858000) (0MB)
-efi: mem147: type=3, attr=0xf, range=[0x0000000089858000-0x0000000089861000) (0MB)
-efi: mem148: type=4, attr=0xf, range=[0x0000000089861000-0x0000000089863000) (0MB)
-efi: mem149: type=3, attr=0xf, range=[0x0000000089863000-0x0000000089865000) (0MB)
-efi: mem150: type=2, attr=0xf, range=[0x0000000089865000-0x0000000089866000) (0MB)
-efi: mem151: type=4, attr=0xf, range=[0x0000000089866000-0x0000000089867000) (0MB)
-efi: mem152: type=2, attr=0xf, range=[0x0000000089867000-0x0000000089868000) (0MB)
-efi: mem153: type=4, attr=0xf, range=[0x0000000089868000-0x0000000089869000) (0MB)
-efi: mem154: type=3, attr=0xf, range=[0x0000000089869000-0x000000008986a000) (0MB)
-efi: mem155: type=4, attr=0xf, range=[0x000000008986a000-0x000000008986f000) (0MB)
-efi: mem156: type=3, attr=0xf, range=[0x000000008986f000-0x0000000089870000) (0MB)
-efi: mem157: type=4, attr=0xf, range=[0x0000000089870000-0x0000000089873000) (0MB)
-efi: mem158: type=3, attr=0xf, range=[0x0000000089873000-0x0000000089875000) (0MB)
-efi: mem159: type=4, attr=0xf, range=[0x0000000089875000-0x0000000089877000) (0MB)
-efi: mem160: type=2, attr=0xf, range=[0x0000000089877000-0x0000000089878000) (0MB)
-efi: mem161: type=4, attr=0xf, range=[0x0000000089878000-0x000000008987a000) (0MB)
-efi: mem162: type=3, attr=0xf, range=[0x000000008987a000-0x000000008987b000) (0MB)
-efi: mem163: type=4, attr=0xf, range=[0x000000008987b000-0x000000008987d000) (0MB)
-efi: mem164: type=3, attr=0xf, range=[0x000000008987d000-0x000000008987e000) (0MB)
-efi: mem165: type=4, attr=0xf, range=[0x000000008987e000-0x000000008988c000) (0MB)
-efi: mem166: type=3, attr=0xf, range=[0x000000008988c000-0x0000000089891000) (0MB)
-efi: mem167: type=4, attr=0xf, range=[0x0000000089891000-0x0000000089897000) (0MB)
-efi: mem168: type=2, attr=0xf, range=[0x0000000089897000-0x0000000089898000) (0MB)
-efi: mem169: type=4, attr=0xf, range=[0x0000000089898000-0x00000000898bf000) (0MB)
-efi: mem170: type=3, attr=0xf, range=[0x00000000898bf000-0x00000000898d1000) (0MB)
-efi: mem171: type=4, attr=0xf, range=[0x00000000898d1000-0x00000000898ec000) (0MB)
-efi: mem172: type=3, attr=0xf, range=[0x00000000898ec000-0x00000000898ef000) (0MB)
-efi: mem173: type=4, attr=0xf, range=[0x00000000898ef000-0x000000008991b000) (0MB)
-efi: mem174: type=3, attr=0xf, range=[0x000000008991b000-0x000000008992f000) (0MB)
-efi: mem175: type=4, attr=0xf, range=[0x000000008992f000-0x0000000089930000) (0MB)
-efi: mem176: type=2, attr=0xf, range=[0x0000000089930000-0x0000000089931000) (0MB)
-efi: mem177: type=4, attr=0xf, range=[0x0000000089931000-0x000000008994d000) (0MB)
-efi: mem178: type=3, attr=0xf, range=[0x000000008994d000-0x0000000089952000) (0MB)
-efi: mem179: type=4, attr=0xf, range=[0x0000000089952000-0x0000000089958000) (0MB)
-efi: mem180: type=2, attr=0xf, range=[0x0000000089958000-0x0000000089959000) (0MB)
-efi: mem181: type=4, attr=0xf, range=[0x0000000089959000-0x000000008995a000) (0MB)
-efi: mem182: type=3, attr=0xf, range=[0x000000008995a000-0x000000008995b000) (0MB)
-efi: mem183: type=4, attr=0xf, range=[0x000000008995b000-0x000000008995c000) (0MB)
-efi: mem184: type=3, attr=0xf, range=[0x000000008995c000-0x000000008995d000) (0MB)
-efi: mem185: type=4, attr=0xf, range=[0x000000008995d000-0x0000000089970000) (0MB)
-efi: mem186: type=3, attr=0xf, range=[0x0000000089970000-0x0000000089975000) (0MB)
-efi: mem187: type=4, attr=0xf, range=[0x0000000089975000-0x0000000089976000) (0MB)
-efi: mem188: type=3, attr=0xf, range=[0x0000000089976000-0x0000000089979000) (0MB)
-efi: mem189: type=4, attr=0xf, range=[0x0000000089979000-0x000000008997a000) (0MB)
-efi: mem190: type=3, attr=0xf, range=[0x000000008997a000-0x000000008998b000) (0MB)
-efi: mem191: type=4, attr=0xf, range=[0x000000008998b000-0x000000008998e000) (0MB)
-efi: mem192: type=3, attr=0xf, range=[0x000000008998e000-0x000000008999a000) (0MB)
-efi: mem193: type=2, attr=0xf, range=[0x000000008999a000-0x000000008999b000) (0MB)
-efi: mem194: type=4, attr=0xf, range=[0x000000008999b000-0x000000008999c000) (0MB)
-efi: mem195: type=3, attr=0xf, range=[0x000000008999c000-0x000000008999d000) (0MB)
-efi: mem196: type=2, attr=0xf, range=[0x000000008999d000-0x000000008999e000) (0MB)
-efi: mem197: type=4, attr=0xf, range=[0x000000008999e000-0x000000008999f000) (0MB)
-efi: mem198: type=3, attr=0xf, range=[0x000000008999f000-0x00000000899a2000) (0MB)
-efi: mem199: type=4, attr=0xf, range=[0x00000000899a2000-0x00000000899a3000) (0MB)
-efi: mem200: type=3, attr=0xf, range=[0x00000000899a3000-0x00000000899a5000) (0MB)
-efi: mem201: type=2, attr=0xf, range=[0x00000000899a5000-0x00000000899a6000) (0MB)
-efi: mem202: type=4, attr=0xf, range=[0x00000000899a6000-0x00000000899a7000) (0MB)
-efi: mem203: type=3, attr=0xf, range=[0x00000000899a7000-0x00000000899a8000) (0MB)
-efi: mem204: type=4, attr=0xf, range=[0x00000000899a8000-0x0000000089dc9000) (4MB)
-efi: mem205: type=3, attr=0xf, range=[0x0000000089dc9000-0x0000000089dce000) (0MB)
-efi: mem206: type=4, attr=0xf, range=[0x0000000089dce000-0x0000000089e56000) (0MB)
-efi: mem207: type=3, attr=0xf, range=[0x0000000089e56000-0x0000000089e5d000) (0MB)
-efi: mem208: type=4, attr=0xf, range=[0x0000000089e5d000-0x0000000089e5e000) (0MB)
-efi: mem209: type=2, attr=0xf, range=[0x0000000089e5e000-0x0000000089e5f000) (0MB)
-efi: mem210: type=3, attr=0xf, range=[0x0000000089e5f000-0x0000000089e60000) (0MB)
-efi: mem211: type=4, attr=0xf, range=[0x0000000089e60000-0x0000000089e61000) (0MB)
-efi: mem212: type=3, attr=0xf, range=[0x0000000089e61000-0x0000000089e66000) (0MB)
-efi: mem213: type=4, attr=0xf, range=[0x0000000089e66000-0x0000000089e67000) (0MB)
-efi: mem214: type=3, attr=0xf, range=[0x0000000089e67000-0x0000000089e68000) (0MB)
-efi: mem215: type=4, attr=0xf, range=[0x0000000089e68000-0x0000000089e69000) (0MB)
-efi: mem216: type=3, attr=0xf, range=[0x0000000089e69000-0x0000000089e6a000) (0MB)
-efi: mem217: type=4, attr=0xf, range=[0x0000000089e6a000-0x0000000089e6c000) (0MB)
-efi: mem218: type=3, attr=0xf, range=[0x0000000089e6c000-0x0000000089e6d000) (0MB)
-efi: mem219: type=4, attr=0xf, range=[0x0000000089e6d000-0x0000000089e92000) (0MB)
-efi: mem220: type=3, attr=0xf, range=[0x0000000089e92000-0x0000000089e93000) (0MB)
-efi: mem221: type=4, attr=0xf, range=[0x0000000089e93000-0x000000008a358000) (4MB)
-efi: mem222: type=2, attr=0xf, range=[0x000000008a358000-0x000000008a359000) (0MB)
-efi: mem223: type=4, attr=0xf, range=[0x000000008a359000-0x000000008acf7000) (9MB)
-efi: mem224: type=2, attr=0xf, range=[0x000000008acf7000-0x000000008acf8000) (0MB)
-efi: mem225: type=4, attr=0xf, range=[0x000000008acf8000-0x000000008acfa000) (0MB)
-efi: mem226: type=2, attr=0xf, range=[0x000000008acfa000-0x000000008acfb000) (0MB)
-efi: mem227: type=4, attr=0xf, range=[0x000000008acfb000-0x000000008ad03000) (0MB)
-efi: mem228: type=7, attr=0xf, range=[0x000000008ad03000-0x000000008ad14000) (0MB)
-efi: mem229: type=10, attr=0xf, range=[0x000000008ad14000-0x000000008ad53000) (0MB)
-efi: mem230: type=7, attr=0xf, range=[0x000000008ad53000-0x000000008ad69000) (0MB)
-efi: mem231: type=9, attr=0xf, range=[0x000000008ad69000-0x000000008ad8f000) (0MB)
-efi: mem232: type=7, attr=0xf, range=[0x000000008ad8f000-0x000000008ae3b000) (0MB)
-efi: mem233: type=6, attr=0x800000000000000f, range=[0x000000008ae3b000-0x000000008ae8f000) (0MB)
-efi: mem234: type=7, attr=0xf, range=[0x000000008ae8f000-0x000000008aece000) (0MB)
-efi: mem235: type=5, attr=0x800000000000000f, range=[0x000000008aece000-0x000000008aeff000) (0MB)
-efi: mem236: type=7, attr=0xf, range=[0x000000008aeff000-0x000000008af85000) (0MB)
-efi: mem237: type=2, attr=0xf, range=[0x000000008af85000-0x000000008af92000) (0MB)
-efi: mem238: type=0, attr=0xf, range=[0x000000008af92000-0x000000008afff000) (0MB)
-efi: mem239: type=2, attr=0xf, range=[0x000000008afff000-0x000000008b000000) (0MB)
-efi: mem240: type=7, attr=0xf, range=[0x0000000100000000-0x000000046f600000) (14070MB)
-efi: mem241: type=0, attr=0x8000000000000000, range=[0x00000000000a0000-0x00000000000c0000) (0MB)
-efi: mem242: type=0, attr=0x8000000000000000, range=[0x000000008b000000-0x000000008fa00000) (74MB)
-efi: mem243: type=11, attr=0x8000000000000000, range=[0x00000000e00f8000-0x00000000e00f9000) (0MB)
-efi: mem244: type=11, attr=0x8000000000000000, range=[0x00000000fed1c000-0x00000000fed20000) (0MB)
-efi: mem245: type=11, attr=0x8000000000000000, range=[0x00000000ffe70000-0x00000000ffea0000) (0MB)
+efi: mem10: type=7, attr=0xf, range=[0x0000000040005000-0x00000000628ce000) (552MB)
+efi: mem11: type=4, attr=0xf, range=[0x00000000628ce000-0x00000000628d5000) (0MB)
+efi: mem12: type=2, attr=0xf, range=[0x00000000628d5000-0x0000000083600000) (525MB)
+efi: mem13: type=1, attr=0xf, range=[0x0000000083600000-0x000000008361f000) (0MB)
+efi: mem14: type=4, attr=0xf, range=[0x000000008361f000-0x000000008363b000) (0MB)
+efi: mem15: type=2, attr=0xf, range=[0x000000008363b000-0x000000008363d000) (0MB)
+efi: mem16: type=4, attr=0xf, range=[0x000000008363d000-0x0000000088048000) (74MB)
+efi: mem17: type=2, attr=0xf, range=[0x0000000088048000-0x0000000088049000) (0MB)
+efi: mem18: type=4, attr=0xf, range=[0x0000000088049000-0x0000000088226000) (1MB)
+efi: mem19: type=3, attr=0xf, range=[0x0000000088226000-0x000000008833d000) (1MB)
+efi: mem20: type=4, attr=0xf, range=[0x000000008833d000-0x00000000883f7000) (0MB)
+efi: mem21: type=3, attr=0xf, range=[0x00000000883f7000-0x000000008841a000) (0MB)
+efi: mem22: type=4, attr=0xf, range=[0x000000008841a000-0x0000000088447000) (0MB)
+efi: mem23: type=3, attr=0xf, range=[0x0000000088447000-0x0000000088455000) (0MB)
+efi: mem24: type=4, attr=0xf, range=[0x0000000088455000-0x000000008845c000) (0MB)
+efi: mem25: type=3, attr=0xf, range=[0x000000008845c000-0x000000008846a000) (0MB)
+efi: mem26: type=4, attr=0xf, range=[0x000000008846a000-0x000000008846f000) (0MB)
+efi: mem27: type=3, attr=0xf, range=[0x000000008846f000-0x0000000088474000) (0MB)
+efi: mem28: type=4, attr=0xf, range=[0x0000000088474000-0x0000000088478000) (0MB)
+efi: mem29: type=3, attr=0xf, range=[0x0000000088478000-0x0000000088491000) (0MB)
+efi: mem30: type=4, attr=0xf, range=[0x0000000088491000-0x0000000088494000) (0MB)
+efi: mem31: type=3, attr=0xf, range=[0x0000000088494000-0x0000000088495000) (0MB)
+efi: mem32: type=4, attr=0xf, range=[0x0000000088495000-0x0000000088496000) (0MB)
+efi: mem33: type=2, attr=0xf, range=[0x0000000088496000-0x0000000088497000) (0MB)
+efi: mem34: type=4, attr=0xf, range=[0x0000000088497000-0x0000000088498000) (0MB)
+efi: mem35: type=3, attr=0xf, range=[0x0000000088498000-0x000000008849b000) (0MB)
+efi: mem36: type=4, attr=0xf, range=[0x000000008849b000-0x000000008849d000) (0MB)
+efi: mem37: type=3, attr=0xf, range=[0x000000008849d000-0x00000000884a3000) (0MB)
+efi: mem38: type=4, attr=0xf, range=[0x00000000884a3000-0x00000000884a7000) (0MB)
+efi: mem39: type=3, attr=0xf, range=[0x00000000884a7000-0x00000000884ab000) (0MB)
+efi: mem40: type=2, attr=0xf, range=[0x00000000884ab000-0x00000000884ac000) (0MB)
+efi: mem41: type=3, attr=0xf, range=[0x00000000884ac000-0x00000000884ad000) (0MB)
+efi: mem42: type=4, attr=0xf, range=[0x00000000884ad000-0x00000000884b2000) (0MB)
+efi: mem43: type=3, attr=0xf, range=[0x00000000884b2000-0x00000000884b9000) (0MB)
+efi: mem44: type=4, attr=0xf, range=[0x00000000884b9000-0x00000000884ba000) (0MB)
+efi: mem45: type=2, attr=0xf, range=[0x00000000884ba000-0x00000000884bb000) (0MB)
+efi: mem46: type=4, attr=0xf, range=[0x00000000884bb000-0x00000000884bc000) (0MB)
+efi: mem47: type=3, attr=0xf, range=[0x00000000884bc000-0x00000000884d1000) (0MB)
+efi: mem48: type=4, attr=0xf, range=[0x00000000884d1000-0x00000000884d4000) (0MB)
+efi: mem49: type=3, attr=0xf, range=[0x00000000884d4000-0x00000000884d8000) (0MB)
+efi: mem50: type=4, attr=0xf, range=[0x00000000884d8000-0x00000000884dc000) (0MB)
+efi: mem51: type=3, attr=0xf, range=[0x00000000884dc000-0x00000000884f8000) (0MB)
+efi: mem52: type=4, attr=0xf, range=[0x00000000884f8000-0x000000008853e000) (0MB)
+efi: mem53: type=2, attr=0xf, range=[0x000000008853e000-0x000000008853f000) (0MB)
+efi: mem54: type=4, attr=0xf, range=[0x000000008853f000-0x0000000088540000) (0MB)
+efi: mem55: type=3, attr=0xf, range=[0x0000000088540000-0x0000000088549000) (0MB)
+efi: mem56: type=4, attr=0xf, range=[0x0000000088549000-0x000000008854a000) (0MB)
+efi: mem57: type=3, attr=0xf, range=[0x000000008854a000-0x0000000088558000) (0MB)
+efi: mem58: type=4, attr=0xf, range=[0x0000000088558000-0x0000000088561000) (0MB)
+efi: mem59: type=3, attr=0xf, range=[0x0000000088561000-0x0000000088566000) (0MB)
+efi: mem60: type=4, attr=0xf, range=[0x0000000088566000-0x0000000088567000) (0MB)
+efi: mem61: type=2, attr=0xf, range=[0x0000000088567000-0x0000000088568000) (0MB)
+efi: mem62: type=4, attr=0xf, range=[0x0000000088568000-0x0000000088569000) (0MB)
+efi: mem63: type=3, attr=0xf, range=[0x0000000088569000-0x000000008856a000) (0MB)
+efi: mem64: type=4, attr=0xf, range=[0x000000008856a000-0x0000000088cd3000) (7MB)
+efi: mem65: type=3, attr=0xf, range=[0x0000000088cd3000-0x0000000088cd8000) (0MB)
+efi: mem66: type=4, attr=0xf, range=[0x0000000088cd8000-0x00000000895a6000) (8MB)
+efi: mem67: type=3, attr=0xf, range=[0x00000000895a6000-0x00000000895ae000) (0MB)
+efi: mem68: type=4, attr=0xf, range=[0x00000000895ae000-0x00000000895bc000) (0MB)
+efi: mem69: type=2, attr=0xf, range=[0x00000000895bc000-0x00000000895bd000) (0MB)
+efi: mem70: type=4, attr=0xf, range=[0x00000000895bd000-0x00000000895cb000) (0MB)
+efi: mem71: type=3, attr=0xf, range=[0x00000000895cb000-0x00000000895cd000) (0MB)
+efi: mem72: type=4, attr=0xf, range=[0x00000000895cd000-0x00000000895cf000) (0MB)
+efi: mem73: type=2, attr=0xf, range=[0x00000000895cf000-0x00000000895d0000) (0MB)
+efi: mem74: type=4, attr=0xf, range=[0x00000000895d0000-0x00000000895d3000) (0MB)
+efi: mem75: type=3, attr=0xf, range=[0x00000000895d3000-0x00000000895da000) (0MB)
+efi: mem76: type=4, attr=0xf, range=[0x00000000895da000-0x00000000895dc000) (0MB)
+efi: mem77: type=3, attr=0xf, range=[0x00000000895dc000-0x00000000895dd000) (0MB)
+efi: mem78: type=4, attr=0xf, range=[0x00000000895dd000-0x00000000895df000) (0MB)
+efi: mem79: type=3, attr=0xf, range=[0x00000000895df000-0x00000000895e0000) (0MB)
+efi: mem80: type=4, attr=0xf, range=[0x00000000895e0000-0x00000000895e4000) (0MB)
+efi: mem81: type=3, attr=0xf, range=[0x00000000895e4000-0x00000000895e9000) (0MB)
+efi: mem82: type=4, attr=0xf, range=[0x00000000895e9000-0x00000000895f4000) (0MB)
+efi: mem83: type=2, attr=0xf, range=[0x00000000895f4000-0x00000000895f5000) (0MB)
+efi: mem84: type=4, attr=0xf, range=[0x00000000895f5000-0x0000000089602000) (0MB)
+efi: mem85: type=3, attr=0xf, range=[0x0000000089602000-0x0000000089606000) (0MB)
+efi: mem86: type=4, attr=0xf, range=[0x0000000089606000-0x000000008960c000) (0MB)
+efi: mem87: type=3, attr=0xf, range=[0x000000008960c000-0x000000008960d000) (0MB)
+efi: mem88: type=4, attr=0xf, range=[0x000000008960d000-0x0000000089611000) (0MB)
+efi: mem89: type=3, attr=0xf, range=[0x0000000089611000-0x000000008961c000) (0MB)
+efi: mem90: type=4, attr=0xf, range=[0x000000008961c000-0x0000000089621000) (0MB)
+efi: mem91: type=3, attr=0xf, range=[0x0000000089621000-0x0000000089623000) (0MB)
+efi: mem92: type=2, attr=0xf, range=[0x0000000089623000-0x0000000089624000) (0MB)
+efi: mem93: type=4, attr=0xf, range=[0x0000000089624000-0x000000008963c000) (0MB)
+efi: mem94: type=3, attr=0xf, range=[0x000000008963c000-0x0000000089678000) (0MB)
+efi: mem95: type=4, attr=0xf, range=[0x0000000089678000-0x000000008968e000) (0MB)
+efi: mem96: type=3, attr=0xf, range=[0x000000008968e000-0x0000000089691000) (0MB)
+efi: mem97: type=4, attr=0xf, range=[0x0000000089691000-0x0000000089696000) (0MB)
+efi: mem98: type=2, attr=0xf, range=[0x0000000089696000-0x0000000089697000) (0MB)
+efi: mem99: type=4, attr=0xf, range=[0x0000000089697000-0x00000000896be000) (0MB)
+efi: mem100: type=3, attr=0xf, range=[0x00000000896be000-0x00000000896d6000) (0MB)
+efi: mem101: type=4, attr=0xf, range=[0x00000000896d6000-0x00000000896e4000) (0MB)
+efi: mem102: type=3, attr=0xf, range=[0x00000000896e4000-0x00000000896ee000) (0MB)
+efi: mem103: type=4, attr=0xf, range=[0x00000000896ee000-0x00000000896fc000) (0MB)
+efi: mem104: type=3, attr=0xf, range=[0x00000000896fc000-0x00000000896fe000) (0MB)
+efi: mem105: type=4, attr=0xf, range=[0x00000000896fe000-0x0000000089703000) (0MB)
+efi: mem106: type=3, attr=0xf, range=[0x0000000089703000-0x000000008971c000) (0MB)
+efi: mem107: type=4, attr=0xf, range=[0x000000008971c000-0x000000008971e000) (0MB)
+efi: mem108: type=3, attr=0xf, range=[0x000000008971e000-0x000000008971f000) (0MB)
+efi: mem109: type=2, attr=0xf, range=[0x000000008971f000-0x0000000089720000) (0MB)
+efi: mem110: type=4, attr=0xf, range=[0x0000000089720000-0x0000000089721000) (0MB)
+efi: mem111: type=3, attr=0xf, range=[0x0000000089721000-0x0000000089722000) (0MB)
+efi: mem112: type=4, attr=0xf, range=[0x0000000089722000-0x0000000089725000) (0MB)
+efi: mem113: type=3, attr=0xf, range=[0x0000000089725000-0x0000000089726000) (0MB)
+efi: mem114: type=2, attr=0xf, range=[0x0000000089726000-0x0000000089727000) (0MB)
+efi: mem115: type=4, attr=0xf, range=[0x0000000089727000-0x0000000089728000) (0MB)
+efi: mem116: type=3, attr=0xf, range=[0x0000000089728000-0x000000008972e000) (0MB)
+efi: mem117: type=4, attr=0xf, range=[0x000000008972e000-0x0000000089730000) (0MB)
+efi: mem118: type=3, attr=0xf, range=[0x0000000089730000-0x0000000089731000) (0MB)
+efi: mem119: type=4, attr=0xf, range=[0x0000000089731000-0x0000000089734000) (0MB)
+efi: mem120: type=3, attr=0xf, range=[0x0000000089734000-0x0000000089735000) (0MB)
+efi: mem121: type=4, attr=0xf, range=[0x0000000089735000-0x0000000089736000) (0MB)
+efi: mem122: type=3, attr=0xf, range=[0x0000000089736000-0x0000000089738000) (0MB)
+efi: mem123: type=2, attr=0xf, range=[0x0000000089738000-0x0000000089739000) (0MB)
+efi: mem124: type=4, attr=0xf, range=[0x0000000089739000-0x000000008973b000) (0MB)
+efi: mem125: type=3, attr=0xf, range=[0x000000008973b000-0x000000008973c000) (0MB)
+efi: mem126: type=2, attr=0xf, range=[0x000000008973c000-0x000000008973d000) (0MB)
+efi: mem127: type=4, attr=0xf, range=[0x000000008973d000-0x000000008973e000) (0MB)
+efi: mem128: type=3, attr=0xf, range=[0x000000008973e000-0x0000000089741000) (0MB)
+efi: mem129: type=4, attr=0xf, range=[0x0000000089741000-0x0000000089742000) (0MB)
+efi: mem130: type=3, attr=0xf, range=[0x0000000089742000-0x0000000089743000) (0MB)
+efi: mem131: type=4, attr=0xf, range=[0x0000000089743000-0x0000000089744000) (0MB)
+efi: mem132: type=3, attr=0xf, range=[0x0000000089744000-0x000000008974b000) (0MB)
+efi: mem133: type=4, attr=0xf, range=[0x000000008974b000-0x000000008974d000) (0MB)
+efi: mem134: type=3, attr=0xf, range=[0x000000008974d000-0x0000000089752000) (0MB)
+efi: mem135: type=4, attr=0xf, range=[0x0000000089752000-0x0000000089753000) (0MB)
+efi: mem136: type=3, attr=0xf, range=[0x0000000089753000-0x0000000089754000) (0MB)
+efi: mem137: type=4, attr=0xf, range=[0x0000000089754000-0x0000000089756000) (0MB)
+efi: mem138: type=3, attr=0xf, range=[0x0000000089756000-0x000000008975c000) (0MB)
+efi: mem139: type=4, attr=0xf, range=[0x000000008975c000-0x000000008975e000) (0MB)
+efi: mem140: type=3, attr=0xf, range=[0x000000008975e000-0x0000000089760000) (0MB)
+efi: mem141: type=2, attr=0xf, range=[0x0000000089760000-0x0000000089761000) (0MB)
+efi: mem142: type=4, attr=0xf, range=[0x0000000089761000-0x0000000089762000) (0MB)
+efi: mem143: type=3, attr=0xf, range=[0x0000000089762000-0x0000000089766000) (0MB)
+efi: mem144: type=4, attr=0xf, range=[0x0000000089766000-0x000000008976a000) (0MB)
+efi: mem145: type=2, attr=0xf, range=[0x000000008976a000-0x000000008976b000) (0MB)
+efi: mem146: type=4, attr=0xf, range=[0x000000008976b000-0x0000000089773000) (0MB)
+efi: mem147: type=3, attr=0xf, range=[0x0000000089773000-0x000000008978f000) (0MB)
+efi: mem148: type=4, attr=0xf, range=[0x000000008978f000-0x0000000089798000) (0MB)
+efi: mem149: type=3, attr=0xf, range=[0x0000000089798000-0x000000008979f000) (0MB)
+efi: mem150: type=4, attr=0xf, range=[0x000000008979f000-0x00000000897a2000) (0MB)
+efi: mem151: type=3, attr=0xf, range=[0x00000000897a2000-0x00000000897a9000) (0MB)
+efi: mem152: type=4, attr=0xf, range=[0x00000000897a9000-0x00000000897ab000) (0MB)
+efi: mem153: type=3, attr=0xf, range=[0x00000000897ab000-0x00000000897bf000) (0MB)
+efi: mem154: type=4, attr=0xf, range=[0x00000000897bf000-0x00000000897c0000) (0MB)
+efi: mem155: type=3, attr=0xf, range=[0x00000000897c0000-0x00000000897c4000) (0MB)
+efi: mem156: type=4, attr=0xf, range=[0x00000000897c4000-0x00000000897c8000) (0MB)
+efi: mem157: type=3, attr=0xf, range=[0x00000000897c8000-0x00000000897cc000) (0MB)
+efi: mem158: type=2, attr=0xf, range=[0x00000000897cc000-0x00000000897cd000) (0MB)
+efi: mem159: type=4, attr=0xf, range=[0x00000000897cd000-0x00000000897d3000) (0MB)
+efi: mem160: type=2, attr=0xf, range=[0x00000000897d3000-0x00000000897d4000) (0MB)
+efi: mem161: type=4, attr=0xf, range=[0x00000000897d4000-0x00000000897d5000) (0MB)
+efi: mem162: type=3, attr=0xf, range=[0x00000000897d5000-0x00000000897d8000) (0MB)
+efi: mem163: type=4, attr=0xf, range=[0x00000000897d8000-0x00000000897da000) (0MB)
+efi: mem164: type=3, attr=0xf, range=[0x00000000897da000-0x00000000897ec000) (0MB)
+efi: mem165: type=4, attr=0xf, range=[0x00000000897ec000-0x00000000897f3000) (0MB)
+efi: mem166: type=3, attr=0xf, range=[0x00000000897f3000-0x00000000897fa000) (0MB)
+efi: mem167: type=4, attr=0xf, range=[0x00000000897fa000-0x00000000897fb000) (0MB)
+efi: mem168: type=3, attr=0xf, range=[0x00000000897fb000-0x00000000897fd000) (0MB)
+efi: mem169: type=4, attr=0xf, range=[0x00000000897fd000-0x00000000897ff000) (0MB)
+efi: mem170: type=2, attr=0xf, range=[0x00000000897ff000-0x0000000089800000) (0MB)
+efi: mem171: type=4, attr=0xf, range=[0x0000000089800000-0x0000000089801000) (0MB)
+efi: mem172: type=3, attr=0xf, range=[0x0000000089801000-0x0000000089802000) (0MB)
+efi: mem173: type=4, attr=0xf, range=[0x0000000089802000-0x0000000089805000) (0MB)
+efi: mem174: type=3, attr=0xf, range=[0x0000000089805000-0x0000000089820000) (0MB)
+efi: mem175: type=4, attr=0xf, range=[0x0000000089820000-0x0000000089822000) (0MB)
+efi: mem176: type=3, attr=0xf, range=[0x0000000089822000-0x0000000089832000) (0MB)
+efi: mem177: type=4, attr=0xf, range=[0x0000000089832000-0x0000000089835000) (0MB)
+efi: mem178: type=2, attr=0xf, range=[0x0000000089835000-0x0000000089836000) (0MB)
+efi: mem179: type=4, attr=0xf, range=[0x0000000089836000-0x0000000089837000) (0MB)
+efi: mem180: type=3, attr=0xf, range=[0x0000000089837000-0x000000008983e000) (0MB)
+efi: mem181: type=4, attr=0xf, range=[0x000000008983e000-0x0000000089841000) (0MB)
+efi: mem182: type=3, attr=0xf, range=[0x0000000089841000-0x0000000089842000) (0MB)
+efi: mem183: type=4, attr=0xf, range=[0x0000000089842000-0x0000000089845000) (0MB)
+efi: mem184: type=2, attr=0xf, range=[0x0000000089845000-0x0000000089846000) (0MB)
+efi: mem185: type=4, attr=0xf, range=[0x0000000089846000-0x0000000089847000) (0MB)
+efi: mem186: type=3, attr=0xf, range=[0x0000000089847000-0x0000000089849000) (0MB)
+efi: mem187: type=4, attr=0xf, range=[0x0000000089849000-0x000000008984c000) (0MB)
+efi: mem188: type=3, attr=0xf, range=[0x000000008984c000-0x000000008984d000) (0MB)
+efi: mem189: type=4, attr=0xf, range=[0x000000008984d000-0x0000000089851000) (0MB)
+efi: mem190: type=3, attr=0xf, range=[0x0000000089851000-0x0000000089853000) (0MB)
+efi: mem191: type=4, attr=0xf, range=[0x0000000089853000-0x0000000089854000) (0MB)
+efi: mem192: type=3, attr=0xf, range=[0x0000000089854000-0x0000000089857000) (0MB)
+efi: mem193: type=4, attr=0xf, range=[0x0000000089857000-0x0000000089858000) (0MB)
+efi: mem194: type=3, attr=0xf, range=[0x0000000089858000-0x0000000089861000) (0MB)
+efi: mem195: type=4, attr=0xf, range=[0x0000000089861000-0x0000000089863000) (0MB)
+efi: mem196: type=3, attr=0xf, range=[0x0000000089863000-0x0000000089865000) (0MB)
+efi: mem197: type=2, attr=0xf, range=[0x0000000089865000-0x0000000089866000) (0MB)
+efi: mem198: type=4, attr=0xf, range=[0x0000000089866000-0x0000000089867000) (0MB)
+efi: mem199: type=2, attr=0xf, range=[0x0000000089867000-0x0000000089868000) (0MB)
+efi: mem200: type=4, attr=0xf, range=[0x0000000089868000-0x0000000089869000) (0MB)
+efi: mem201: type=3, attr=0xf, range=[0x0000000089869000-0x000000008986a000) (0MB)
+efi: mem202: type=4, attr=0xf, range=[0x000000008986a000-0x000000008986f000) (0MB)
+efi: mem203: type=3, attr=0xf, range=[0x000000008986f000-0x0000000089870000) (0MB)
+efi: mem204: type=4, attr=0xf, range=[0x0000000089870000-0x0000000089873000) (0MB)
+efi: mem205: type=3, attr=0xf, range=[0x0000000089873000-0x0000000089875000) (0MB)
+efi: mem206: type=4, attr=0xf, range=[0x0000000089875000-0x0000000089877000) (0MB)
+efi: mem207: type=2, attr=0xf, range=[0x0000000089877000-0x0000000089878000) (0MB)
+efi: mem208: type=4, attr=0xf, range=[0x0000000089878000-0x000000008987a000) (0MB)
+efi: mem209: type=3, attr=0xf, range=[0x000000008987a000-0x000000008987b000) (0MB)
+efi: mem210: type=4, attr=0xf, range=[0x000000008987b000-0x000000008987d000) (0MB)
+efi: mem211: type=3, attr=0xf, range=[0x000000008987d000-0x000000008987e000) (0MB)
+efi: mem212: type=4, attr=0xf, range=[0x000000008987e000-0x000000008988c000) (0MB)
+efi: mem213: type=3, attr=0xf, range=[0x000000008988c000-0x0000000089891000) (0MB)
+efi: mem214: type=4, attr=0xf, range=[0x0000000089891000-0x0000000089897000) (0MB)
+efi: mem215: type=2, attr=0xf, range=[0x0000000089897000-0x0000000089898000) (0MB)
+efi: mem216: type=4, attr=0xf, range=[0x0000000089898000-0x00000000898bf000) (0MB)
+efi: mem217: type=3, attr=0xf, range=[0x00000000898bf000-0x00000000898d1000) (0MB)
+efi: mem218: type=4, attr=0xf, range=[0x00000000898d1000-0x00000000898ec000) (0MB)
+efi: mem219: type=3, attr=0xf, range=[0x00000000898ec000-0x00000000898ef000) (0MB)
+efi: mem220: type=4, attr=0xf, range=[0x00000000898ef000-0x000000008991b000) (0MB)
+efi: mem221: type=3, attr=0xf, range=[0x000000008991b000-0x000000008992f000) (0MB)
+efi: mem222: type=4, attr=0xf, range=[0x000000008992f000-0x0000000089930000) (0MB)
+efi: mem223: type=2, attr=0xf, range=[0x0000000089930000-0x0000000089931000) (0MB)
+efi: mem224: type=4, attr=0xf, range=[0x0000000089931000-0x000000008994d000) (0MB)
+efi: mem225: type=3, attr=0xf, range=[0x000000008994d000-0x0000000089952000) (0MB)
+efi: mem226: type=4, attr=0xf, range=[0x0000000089952000-0x0000000089958000) (0MB)
+efi: mem227: type=2, attr=0xf, range=[0x0000000089958000-0x0000000089959000) (0MB)
+efi: mem228: type=4, attr=0xf, range=[0x0000000089959000-0x000000008995a000) (0MB)
+efi: mem229: type=3, attr=0xf, range=[0x000000008995a000-0x000000008995b000) (0MB)
+efi: mem230: type=4, attr=0xf, range=[0x000000008995b000-0x000000008995c000) (0MB)
+efi: mem231: type=3, attr=0xf, range=[0x000000008995c000-0x000000008995d000) (0MB)
+efi: mem232: type=4, attr=0xf, range=[0x000000008995d000-0x0000000089970000) (0MB)
+efi: mem233: type=3, attr=0xf, range=[0x0000000089970000-0x0000000089975000) (0MB)
+efi: mem234: type=4, attr=0xf, range=[0x0000000089975000-0x0000000089976000) (0MB)
+efi: mem235: type=3, attr=0xf, range=[0x0000000089976000-0x0000000089979000) (0MB)
+efi: mem236: type=4, attr=0xf, range=[0x0000000089979000-0x000000008997a000) (0MB)
+efi: mem237: type=3, attr=0xf, range=[0x000000008997a000-0x000000008998b000) (0MB)
+efi: mem238: type=4, attr=0xf, range=[0x000000008998b000-0x000000008998e000) (0MB)
+efi: mem239: type=3, attr=0xf, range=[0x000000008998e000-0x000000008999a000) (0MB)
+efi: mem240: type=2, attr=0xf, range=[0x000000008999a000-0x000000008999b000) (0MB)
+efi: mem241: type=4, attr=0xf, range=[0x000000008999b000-0x000000008999c000) (0MB)
+efi: mem242: type=3, attr=0xf, range=[0x000000008999c000-0x000000008999d000) (0MB)
+efi: mem243: type=2, attr=0xf, range=[0x000000008999d000-0x000000008999e000) (0MB)
+efi: mem244: type=4, attr=0xf, range=[0x000000008999e000-0x000000008999f000) (0MB)
+efi: mem245: type=3, attr=0xf, range=[0x000000008999f000-0x00000000899a2000) (0MB)
+efi: mem246: type=4, attr=0xf, range=[0x00000000899a2000-0x00000000899a3000) (0MB)
+efi: mem247: type=3, attr=0xf, range=[0x00000000899a3000-0x00000000899a5000) (0MB)
+efi: mem248: type=2, attr=0xf, range=[0x00000000899a5000-0x00000000899a6000) (0MB)
+efi: mem249: type=4, attr=0xf, range=[0x00000000899a6000-0x00000000899a7000) (0MB)
+efi: mem250: type=3, attr=0xf, range=[0x00000000899a7000-0x00000000899a8000) (0MB)
+efi: mem251: type=4, attr=0xf, range=[0x00000000899a8000-0x0000000089dc9000) (4MB)
+efi: mem252: type=3, attr=0xf, range=[0x0000000089dc9000-0x0000000089dce000) (0MB)
+efi: mem253: type=4, attr=0xf, range=[0x0000000089dce000-0x0000000089e56000) (0MB)
+efi: mem254: type=3, attr=0xf, range=[0x0000000089e56000-0x0000000089e5d000) (0MB)
+efi: mem255: type=4, attr=0xf, range=[0x0000000089e5d000-0x0000000089e5e000) (0MB)
+efi: mem256: type=2, attr=0xf, range=[0x0000000089e5e000-0x0000000089e5f000) (0MB)
+efi: mem257: type=3, attr=0xf, range=[0x0000000089e5f000-0x0000000089e60000) (0MB)
+efi: mem258: type=4, attr=0xf, range=[0x0000000089e60000-0x0000000089e61000) (0MB)
+efi: mem259: type=3, attr=0xf, range=[0x0000000089e61000-0x0000000089e66000) (0MB)
+efi: mem260: type=4, attr=0xf, range=[0x0000000089e66000-0x0000000089e67000) (0MB)
+efi: mem261: type=3, attr=0xf, range=[0x0000000089e67000-0x0000000089e68000) (0MB)
+efi: mem262: type=4, attr=0xf, range=[0x0000000089e68000-0x0000000089e69000) (0MB)
+efi: mem263: type=3, attr=0xf, range=[0x0000000089e69000-0x0000000089e6a000) (0MB)
+efi: mem264: type=4, attr=0xf, range=[0x0000000089e6a000-0x0000000089e6c000) (0MB)
+efi: mem265: type=3, attr=0xf, range=[0x0000000089e6c000-0x0000000089e6d000) (0MB)
+efi: mem266: type=4, attr=0xf, range=[0x0000000089e6d000-0x0000000089e92000) (0MB)
+efi: mem267: type=3, attr=0xf, range=[0x0000000089e92000-0x0000000089e93000) (0MB)
+efi: mem268: type=4, attr=0xf, range=[0x0000000089e93000-0x000000008a358000) (4MB)
+efi: mem269: type=2, attr=0xf, range=[0x000000008a358000-0x000000008a359000) (0MB)
+efi: mem270: type=4, attr=0xf, range=[0x000000008a359000-0x000000008acf7000) (9MB)
+efi: mem271: type=2, attr=0xf, range=[0x000000008acf7000-0x000000008acf8000) (0MB)
+efi: mem272: type=4, attr=0xf, range=[0x000000008acf8000-0x000000008acfa000) (0MB)
+efi: mem273: type=2, attr=0xf, range=[0x000000008acfa000-0x000000008acfb000) (0MB)
+efi: mem274: type=4, attr=0xf, range=[0x000000008acfb000-0x000000008ad03000) (0MB)
+efi: mem275: type=7, attr=0xf, range=[0x000000008ad03000-0x000000008ad14000) (0MB)
+efi: mem276: type=10, attr=0xf, range=[0x000000008ad14000-0x000000008ad53000) (0MB)
+efi: mem277: type=7, attr=0xf, range=[0x000000008ad53000-0x000000008ad69000) (0MB)
+efi: mem278: type=9, attr=0xf, range=[0x000000008ad69000-0x000000008ad8f000) (0MB)
+efi: mem279: type=7, attr=0xf, range=[0x000000008ad8f000-0x000000008ae31000) (0MB)
+efi: mem280: type=6, attr=0x800000000000000f, range=[0x000000008ae31000-0x000000008ae8f000) (0MB)
+efi: mem281: type=7, attr=0xf, range=[0x000000008ae8f000-0x000000008aece000) (0MB)
+efi: mem282: type=5, attr=0x800000000000000f, range=[0x000000008aece000-0x000000008aeff000) (0MB)
+efi: mem283: type=7, attr=0xf, range=[0x000000008aeff000-0x000000008af84000) (0MB)
+efi: mem284: type=2, attr=0xf, range=[0x000000008af84000-0x000000008af92000) (0MB)
+efi: mem285: type=0, attr=0xf, range=[0x000000008af92000-0x000000008afff000) (0MB)
+efi: mem286: type=2, attr=0xf, range=[0x000000008afff000-0x000000008b000000) (0MB)
+efi: mem287: type=7, attr=0xf, range=[0x0000000100000000-0x000000046f600000) (14070MB)
+efi: mem288: type=0, attr=0x8000000000000000, range=[0x00000000000a0000-0x00000000000c0000) (0MB)
+efi: mem289: type=0, attr=0x8000000000000000, range=[0x000000008b000000-0x000000008fa00000) (74MB)
+efi: mem290: type=11, attr=0x8000000000000000, range=[0x00000000e00f8000-0x00000000e00f9000) (0MB)
+efi: mem291: type=11, attr=0x8000000000000000, range=[0x00000000fed1c000-0x00000000fed20000) (0MB)
+efi: mem292: type=11, attr=0x8000000000000000, range=[0x00000000ffe70000-0x00000000ffea0000) (0MB)
 SMBIOS 2.4 present.
 DMI: Apple Inc. MacBookPro9,2/Mac-XXXXXXXXXXXXXXXX, BIOS MBP91.88Z.00D3.B08.1208081132 08/08/2012
 e820: update [mem 0x00000000-0x00000fff] usable ==> reserved
@@ -329,8 +375,8 @@
  [mem 0x8ac00000-0x8ad13fff] page 4k
 init_memory_mapping: [mem 0x8ad53000-0x8ad68fff]
  [mem 0x8ad53000-0x8ad68fff] page 4k
-init_memory_mapping: [mem 0x8ad8f000-0x8ae3afff]
- [mem 0x8ad8f000-0x8ae3afff] page 4k
+init_memory_mapping: [mem 0x8ad8f000-0x8ae30fff]
+ [mem 0x8ad8f000-0x8ae30fff] page 4k
 init_memory_mapping: [mem 0x8ae8f000-0x8aecdfff]
  [mem 0x8ae8f000-0x8aecdfff] page 4k
 init_memory_mapping: [mem 0x8aeff000-0x8af91fff]
@@ -339,7 +385,7 @@
  [mem 0x8afff000-0x8affffff] page 4k
 init_memory_mapping: [mem 0x100000000-0x3ffffffff]
  [mem 0x100000000-0x3ffffffff] page 2M
-RAMDISK: [mem 0x34fbc000-0x367d5fff]
+RAMDISK: [mem 0x3511a000-0x36884fff]
 ACPI: RSDP 000000008ad8e014 000024 (v02 APPLE )
 ACPI: XSDT 000000008ad8e1c0 0000B4 (v01 APPLE   Apple00 00000000      01000013)
 ACPI: FACP 000000008ad8c000 0000F4 (v04 APPLE   Apple00 00000000 Loki 0000005F)
@@ -380,17 +426,17 @@
   node   0: [mem 0x20200000-0x40003fff]
   node   0: [mem 0x40005000-0x8ad13fff]
   node   0: [mem 0x8ad53000-0x8ad68fff]
-  node   0: [mem 0x8ad8f000-0x8ae3afff]
+  node   0: [mem 0x8ad8f000-0x8ae30fff]
   node   0: [mem 0x8ae8f000-0x8aecdfff]
   node   0: [mem 0x8aeff000-0x8af91fff]
   node   0: [mem 0x8afff000-0x8affffff]
   node   0: [mem 0x100000000-0x46f5fffff]
-On node 0 totalpages: 4170309
+On node 0 totalpages: 4170299
   DMA zone: 56 pages used for memmap
-  DMA zone: 25 pages reserved
+  DMA zone: 26 pages reserved
   DMA zone: 3997 pages, LIFO batch:0
   DMA32 zone: 7717 pages used for memmap
-  DMA32 zone: 564392 pages, LIFO batch:31
+  DMA32 zone: 564382 pages, LIFO batch:31
   Normal zone: 49245 pages used for memmap
   Normal zone: 3601920 pages, LIFO batch:31
 ACPI: PM-Timer IO Port: 0x408
@@ -429,7 +475,7 @@
 PM: Registered nosave memory: [mem 0x40004000-0x40004fff]
 PM: Registered nosave memory: [mem 0x8ad14000-0x8ad52fff]
 PM: Registered nosave memory: [mem 0x8ad69000-0x8ad8efff]
-PM: Registered nosave memory: [mem 0x8ae3b000-0x8ae8efff]
+PM: Registered nosave memory: [mem 0x8ae31000-0x8ae8efff]
 PM: Registered nosave memory: [mem 0x8aece000-0x8aefefff]
 PM: Registered nosave memory: [mem 0x8af92000-0x8affefff]
 PM: Registered nosave memory: [mem 0x8b000000-0x8f9fffff]
@@ -446,7 +492,7 @@
 PERCPU: Embedded 28 pages/cpu @ffff88046f200000 s85824 r8192 d20672 u262144
 pcpu-alloc: s85824 r8192 d20672 u262144 alloc=1*2097152
 pcpu-alloc: [0] 0 1 2 3 4 5 6 7 
-Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 4113266
+Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 4113255
 Policy zone: Normal
 Kernel command line: BOOT_IMAGE=/vmlinuz-3.13-1-amd64 root=/dev/mapper/ziggy-racine ro apparmor=1 security=apparmor acpi_osi=Darwin quiet splash
 PID hash table entries: 4096 (order: 3, 32768 bytes)
@@ -455,7 +501,7 @@
 No AGP bridge found
 Calgary: detecting Calgary via BIOS EBDA area
 Calgary: Unable to locate Rio Grande table in EBDA - bailing!
-Memory: 16312524K/16681236K available (4809K kernel code, 693K rwdata, 1620K rodata, 988K init, 952K bss, 368712K reserved)
+Memory: 16225892K/16681196K available (4809K kernel code, 693K rwdata, 1620K rodata, 988K init, 952K bss, 455304K reserved)
 Hierarchical RCU implementation.
        RCU dyntick-idle grace-period acceleration is enabled.
        RCU restricting CPUs from NR_CPUS=512 to nr_cpu_ids=8.
@@ -464,11 +510,11 @@
 console [tty0] enabled
 hpet clockevent registered
 tsc: Fast TSC calibration using PIT
-tsc: Detected 2494.219 MHz processor
-Calibrating delay loop (skipped), value calculated using timer frequency.. 4988.43 BogoMIPS (lpj=9976876)
+tsc: Detected 2494.317 MHz processor
+Calibrating delay loop (skipped), value calculated using timer frequency.. 4988.63 BogoMIPS (lpj=9977268)
 pid_max: default: 32768 minimum: 301
-init_memory_mapping: [mem 0x8ae3b000-0x8ae8efff]
- [mem 0x8ae3b000-0x8ae8efff] page 4k
+init_memory_mapping: [mem 0x8ae31000-0x8ae8efff]
+ [mem 0x8ae31000-0x8ae8efff] page 4k
 init_memory_mapping: [mem 0x8aece000-0x8aefefff]
  [mem 0x8aece000-0x8aefefff] page 4k
 init_memory_mapping: [mem 0x8b000000-0x8f9fffff]
@@ -520,7 +566,7 @@
 NMI watchdog: enabled on all CPUs, permanently consumes one hw-PMU counter.
 .... node  #0, CPUs:      #1 #2 #3
 x86: Booted up 1 node, 4 CPUs
-smpboot: Total of 4 processors activated (19953.75 BogoMIPS)
+smpboot: Total of 4 processors activated (19954.53 BogoMIPS)
 devtmpfs: initialized
 PM: Registering ACPI NVS region [mem 0x8ad14000-0x8ad52fff] (258048 bytes)
 NET: Registered protocol family 16
@@ -620,10 +666,10 @@
 pci 0000:00:1d.0: System wakeup disabled by ACPI
 pci 0000:00:1f.0: [8086:1e57] type 00 class 0x060100
 pci 0000:00:1f.2: [8086:1e03] type 00 class 0x010601
-pci 0000:00:1f.2: reg 0x10: [io  0x2098-0x209f]
-pci 0000:00:1f.2: reg 0x14: [io  0x20bc-0x20bf]
-pci 0000:00:1f.2: reg 0x18: [io  0x2090-0x2097]
-pci 0000:00:1f.2: reg 0x1c: [io  0x20b8-0x20bb]
+pci 0000:00:1f.2: reg 0x10: [io  0x2088-0x208f]
+pci 0000:00:1f.2: reg 0x14: [io  0x209c-0x209f]
+pci 0000:00:1f.2: reg 0x18: [io  0x2080-0x2087]
+pci 0000:00:1f.2: reg 0x1c: [io  0x2098-0x209b]
 pci 0000:00:1f.2: reg 0x20: [io  0x2060-0x207f]
 pci 0000:00:1f.2: reg 0x24: [mem 0xa0816000-0xa08167ff]
 pci 0000:00:1f.2: PME# supported from D3hot
@@ -691,6 +737,7 @@
 pci 0000:02:00.0: [14e4:4331] type 00 class 0x028000
 pci 0000:02:00.0: reg 0x10: [mem 0xa0600000-0xa0603fff 64bit]
 pci 0000:02:00.0: supports D1 D2
+pci 0000:02:00.0: PME# supported from D0 D3hot D3cold
 pci 0000:02:00.0: System wakeup disabled by ACPI
 pci 0000:00:1c.1: PCI bridge to [bus 02]
 pci 0000:00:1c.1:   bridge window [mem 0xa0600000-0xa06fffff]
@@ -721,7 +768,7 @@
 e820: reserve RAM buffer [mem 0x40004000-0x43ffffff]
 e820: reserve RAM buffer [mem 0x8ad14000-0x8bffffff]
 e820: reserve RAM buffer [mem 0x8ad69000-0x8bffffff]
-e820: reserve RAM buffer [mem 0x8ae3b000-0x8bffffff]
+e820: reserve RAM buffer [mem 0x8ae31000-0x8bffffff]
 e820: reserve RAM buffer [mem 0x8aece000-0x8bffffff]
 e820: reserve RAM buffer [mem 0x8af92000-0x8bffffff]
 e820: reserve RAM buffer [mem 0x8b000000-0x8bffffff]
@@ -858,16 +905,16 @@
 pci 0000:00:14.0: can't derive routing for PCI INT A
 PCI: CLS 256 bytes, default 64
 Unpacking initramfs...
-Freeing initrd memory: 24680K (ffff880034fbc000 - ffff8800367d6000)
+Freeing initrd memory: 23980K (ffff88003511a000 - ffff880036885000)
 PCI-DMA: Using software bounce buffering for IO (SWIOTLB)
-software IO TLB [mem 0x83d0f000-0x87d0f000] (64MB) mapped at [ffff880083d0f000-ffff880087d0efff]
+software IO TLB [mem 0x7f61f000-0x8361f000] (64MB) mapped at [ffff88007f61f000-ffff88008361efff]
 microcode: CPU0 sig=0x306a9, pf=0x10, revision=0x15
 microcode: CPU1 sig=0x306a9, pf=0x10, revision=0x15
 microcode: CPU2 sig=0x306a9, pf=0x10, revision=0x15
 microcode: CPU3 sig=0x306a9, pf=0x10, revision=0x15
 microcode: Microcode Update Driver: v2.00 <tigran@aivazian.fsnet.co.uk>, Peter Oruba
 audit: initializing netlink socket (disabled)
-type=2000 audit(1397048825.108:1): initialized
+type=2000 audit(1397055512.604:1): initialized
 HugeTLB registered 2 MB page size, pre-allocated 0 pages
 VFS: Disk quotas dquot_6.5.2
 Dquot-cache hash table entries: 512 (order 0, 4096 bytes)

System Summary


00:00.0 Host bridge [0600]: Intel Corporation 3rd Gen Core processor DRAM Controller [8086:0154] (rev 09)
00:01.0 PCI bridge [0604]: Intel Corporation Xeon E3-1200 v2/3rd Gen Core processor PCI Express Root Port [8086:0151] (rev 09)
00:02.0 VGA compatible controller [0300]: Intel Corporation 3rd Gen Core processor Graphics Controller [8086:0166] (rev 09)
00:14.0 USB controller [0c03]: Intel Corporation 7 Series/C210 Series Chipset Family USB xHCI Host Controller [8086:1e31] (rev 04)
00:16.0 Communication controller [0780]: Intel Corporation 7 Series/C210 Series Chipset Family MEI Controller #1 [8086:1e3a] (rev 04)
00:1a.0 USB controller [0c03]: Intel Corporation 7 Series/C210 Series Chipset Family USB Enhanced Host Controller #2 [8086:1e2d] (rev 04)
00:1b.0 Audio device [0403]: Intel Corporation 7 Series/C210 Series Chipset Family High Definition Audio Controller [8086:1e20] (rev 04)
00:1c.0 PCI bridge [0604]: Intel Corporation 7 Series/C210 Series Chipset Family PCI Express Root Port 1 [8086:1e10] (rev c4)
00:1c.1 PCI bridge [0604]: Intel Corporation 7 Series/C210 Series Chipset Family PCI Express Root Port 2 [8086:1e12] (rev c4)
00:1c.2 PCI bridge [0604]: Intel Corporation 7 Series/C210 Series Chipset Family PCI Express Root Port 3 [8086:1e14] (rev c4)
00:1d.0 USB controller [0c03]: Intel Corporation 7 Series/C210 Series Chipset Family USB Enhanced Host Controller #1 [8086:1e26] (rev 04)
00:1f.0 ISA bridge [0601]: Intel Corporation HM77 Express Chipset LPC Controller [8086:1e57] (rev 04)
00:1f.2 SATA controller [0106]: Intel Corporation 7 Series Chipset Family 6-port SATA Controller [AHCI mode] [8086:1e03] (rev 04)
00:1f.3 SMBus [0c05]: Intel Corporation 7 Series/C210 Series Chipset Family SMBus Controller [8086:1e22] (rev 04)
01:00.0 Ethernet controller [0200]: Broadcom Corporation NetXtreme BCM57765 Gigabit Ethernet PCIe [14e4:16b4] (rev 10)
01:00.1 SD Host controller [0805]: Broadcom Corporation BCM57765/57785 SDXC/MMC Card Reader [14e4:16bc] (rev 10)
02:00.0 Network controller [0280]: Broadcom Corporation BCM4331 802.11a/b/g/n [14e4:4331] (rev 02)
03:00.0 FireWire (IEEE 1394) [0c00]: LSI Corporation FW643 [TrueFire] PCIe 1394b Controller [11c1:5901] (rev 08)



Bus 004 Device 006: ID 05ac:0252 Apple, Inc. Internal Keyboard/Trackpad (ANSI)
Bus 004 Device 005: ID 05ac:8242 Apple, Inc. Built-in IR Receiver
Bus 004 Device 009: ID 05ac:821d Apple, Inc. 
Bus 004 Device 004: ID 0a5c:4500 Broadcom Corp. BCM2046B1 USB 2.0 Hub (part of BCM2046 Bluetooth)
Bus 004 Device 003: ID 0424:2513 Standard Microsystems Corp. 2.0 Hub
Bus 004 Device 002: ID 8087:0024 Intel Corp. Integrated Rate Matching Hub
Bus 004 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
Bus 003 Device 003: ID 05ac:8509 Apple, Inc. FaceTime HD Camera
Bus 003 Device 002: ID 8087:0024 Intel Corp. Integrated Rate Matching Hub
Bus 003 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
Bus 002 Device 001: ID 1d6b:0003 Linux Foundation 3.0 root hub
Bus 001 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub

USB Host controllers entries (without OHCI, UHCI, EHCI) are removed too.