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
..
2013-02-18 09:07:55 +01:00
2013-06-25 09:53:15 +00:00
2013-07-15 11:11:13 -04:00
2013-07-15 11:11:13 -04:00
2013-05-24 11:17:52 +02:00
2013-06-19 13:11:32 +02:00