[PATCH v3 05/13] efi: Use a fixed value for the timer clock

It is not yet clear how to read the timer via EFI. The current value seems much too high on a Framework laptop I tried. Adjust it to a lower hard-coded value for now. Signed-off-by: Simon Glass --- Changes in v3: - Add a comment about the value drivers/timer/tsc_timer.c | 9 + 1 file c

[PATCH v3 05/13] efi: Use a fixed value for the timer clock

It is not yet clear how to read the timer via EFI. The current value seems much too high on a Framework laptop I tried. Adjust it to a lower hard-coded value for now. Signed-off-by: Simon Glass --- Changes in v3: - Add a comment about the value drivers/timer/tsc_timer.c | 9 + 1 file c