Of course I haven't tried banking in anything over 48KB yet so I don't even know if my circuit works, but it boots!