Igor Smolyar 3ef93645b9 Use ARM_VM_SECTION_MASK to determine kernel base address ... To map kernel we use 1M sections therefore we should use ARM_VM_SECTION_MASK to determine base address. Change-Id: I0b97fe459f2325d702aad9b7b1e8e066d9721b87		2013-08-19 09:53:25 +02:00
..
earm	Use ARM_VM_SECTION_MASK to determine kernel base address	2013-08-19 09:53:25 +02:00
i386	VMWare poweroff magic cli;hlt sequence	2013-08-11 23:55:43 +02:00