# Run mkinitcpio(8) with the given preset value --- kernel: linux312