vmclock: enable vmclock device for our guest kernel

Enable vmclock for 6.1 guest kernels. Create a patch that enables the
CONFIG_PTP_1588_CLOCK_VMCLOCK Kconfig and change rebuild.sh to patch the
config when building 6.1 guest kernels.

Signed-off-by: Babis Chalios <bchalios@amazon.es>

Author: bchalios

resources/guest_configs/vmclock.config

@@ -0,0 +1 @@
+CONFIG_PTP_1588_CLOCK_VMCLOCK=y

resources/rebuild.sh

@@ -250,6 +250,7 @@ function build_al_kernels {
     PCIE_CONFIG="$PWD/guest_configs/pcie.config"
     PMEM_CONFIG="$PWD/guest_configs/virtio-pmem.config"
     MEM_CONFIG="$PWD/guest_configs/virtio-mem.config"
+    VMCLOCK_CONFIG="$PWD/guest_configs/vmclock.config"
 
     if [[ "$KERNEL_VERSION" == @(all|5.10) ]]; then
         build_al_kernel $PWD/guest_configs/microvm-kernel-ci-$ARCH-5.10.config "$CI_CONFIG" "$PCIE_CONFIG" "$PMEM_CONFIG" "$MEM_CONFIG"
@@ -258,7 +259,7 @@ function build_al_kernels {
         build_al_kernel $PWD/guest_configs/microvm-kernel-ci-$ARCH-5.10-no-acpi.config "$CI_CONFIG" "$PCIE_CONFIG" "$PMEM_CONFIG" "$MEM_CONFIG"
     fi
     if [[ "$KERNEL_VERSION" == @(all|6.1) ]]; then
-        build_al_kernel $PWD/guest_configs/microvm-kernel-ci-$ARCH-6.1.config "$CI_CONFIG" "$PCIE_CONFIG" "$PMEM_CONFIG" "$MEM_CONFIG"
+        build_al_kernel $PWD/guest_configs/microvm-kernel-ci-$ARCH-6.1.config "$CI_CONFIG" "$PCIE_CONFIG" "$PMEM_CONFIG" "$MEM_CONFIG" "$VMCLOCK_CONFIG"
     fi
 
     # Build debug kernels
@@ -271,7 +272,7 @@ function build_al_kernels {
         vmlinux_split_debuginfo $OUTPUT_DIR/vmlinux-5.10.*
     fi
     if [[ "$KERNEL_VERSION" == @(all|6.1) ]]; then
-        build_al_kernel "$PWD/guest_configs/microvm-kernel-ci-$ARCH-6.1.config" "$CI_CONFIG" "$PCIE_CONFIG" "$PMEM_CONFIG" "$MEM_CONFIG" "$FTRACE_CONFIG" "$DEBUG_CONFIG"
+        build_al_kernel "$PWD/guest_configs/microvm-kernel-ci-$ARCH-6.1.config" "$CI_CONFIG" "$PCIE_CONFIG" "$PMEM_CONFIG" "$MEM_CONFIG" "$FTRACE_CONFIG" "$DEBUG_CONFIG" "$VMCLOCK_CONFIG"
         vmlinux_split_debuginfo $OUTPUT_DIR/vmlinux-6.1.*
     fi
 }