Bug#558448: keyboard-configuration: Does not set right alt correctly.
It seems that the "AltGr key replacement" currently has no
effect. I've installed keyboard-configuration a few days
ago and at that time selected "The default for the keyboard
layout", and things kept working like they were, it still
acted like a right alt key.
Now I've booted in a new kernel and it acted like a left alt key.
So I've reconfigured it to set it to "Right Alt". But that
doesn't seem to have any effect, it still acts like a left alt
key. The config file /etc/default/keyboard says: