g. Do K8055 and K8055N boards run at 16 MHz?