set boot frequency to 1728Mhz
Signed-off-by: Jean Francis Dominique S. Mabalot <jmabalot@google.com>