acpuclock: stby_khz = 384000