Re: [Linaro-uefi] [linaro-uefi][ArmMmuLib] Is it a bug?