I did some tests with a kernel that has 601MHz instead 600MHz in the table of supported frequencies. booting with 700MHz worked fine until I made a call - it switched to 600MHz ;-(