make sure readEn works on unbanked memory