This patch fixes the decoding of the IO address range 0x0820->0x0827 into the