Comment # 43 on bug 1122614 from Chester Lin

(In reply to Chester Lin from comment #42)
> Besides, I wonder if we might have any chance to delete the first page
> reserved by rpi2 firmware? Instead of rebasing the FDT offset I have
> mentioned in my patch, I found that deleting this reserved page can also
> solve this issue although I have not sure if there's any side-effect.

I am thinking about this because the first 128MB will be totally ignored and
will not be used once the kernel base rounds up to 0x8000000.