Hey Kees!

This one is correct.  :-)

 KvE>  $ cat /sys/devices/system/cpu/cpu0/cpufreq/cpuinfo_max_freq
 KvE> 800000
 KvE> So it is the speed I set in the config file.

So it does show up in /sys.  I don't see that here in /sys but do see frequency
in both lscpu output as well as in /proc/cpuinfo.

 KvE> The arm version gives neither, maybe sometime in the future.

Might be a kernel configuration option.  I have never built a kernel for arm
based systems.  Which distribtion are you using?  I have stumbled across a few
for RaspberryPi as well as some howtos for installation to a SD disk. 
Interesting stuff.  The eeepc is the closest I can come to it and have managed
to boot to a SD as well as the usb flash disks.  It has a 4G mini-pci flash
disk onboard which I am currently installing to but do have a backup bootable
usb flash disk that could easily be configured to replace the mini-pci based
disk if and when it decides to pack it in.  Also am using a 4G SD card mounted
on /home where "Guy Robot" now posts from.  :-)

Life is good,
Maurice

... Don't cry for me I have vi.
--- GNU bash, version 4.3.30(1)-release (x86_64-atom-linux-gnu)