bugfix: straight from the ET4000 programming guide I found: it does in
fact support the A0000-BFFFF (128KB) mapping trick.