Make the grub timeout configurable on x86 targets