rb532: enable high-res timers, refresh kernel config