The old arithmetic assumed 32 physical address bits which is no longer
true for ARM since 3cc0cd61.

Signed-off-by: Jan Kiszka <jan.kiszka@web.de>
Signed-off-by: Blue Swirl <blauwirbel@gmail.com>