linux.config: Use 100 Hz as timer tick rate

As most targets are slow FPGA boards, a high timer tick rate is
problematic as it results in a high interrupt load. This is especially
true for multi-core systems as every core receives HZ many timer
interrupts.

buildroot/board/litex_vexriscv/linux.config

@@ -14,6 +14,7 @@ CONFIG_STRICT_KERNEL_RWX=n
 CONFIG_EFI=n
 CONFIG_HVC_RISCV_SBI=y
 CONFIG_NONPORTABLE=y
+CONFIG_HZ_100=y
 
 CONFIG_BLK_DEV_INITRD=y
 CONFIG_INITRAMFS_SOURCE=""