Fix banked registers handling on mode changes

This commit fixes a typo in banked registers handling code, which was
not correct during mode changes. It was preventing the proper loading of
recent Linux kernel images, resulting in infinite loops.

Signed-off-by: Luca Bruno <lucab@debian.org>