Preference settings are not retrieved from their cached
values, but are retrieved from the db backend instead
in most cases, despite the cached values existing.
file_prefs.php seems to suffer from a similar issue,
preferences being retireved from the file even when the
cached preferences exist in the session data.
A patch for db_prefs.php is attached, something similar
is required for file_prefs.php I suppose.