--- /etc/grub.d/10_linux	2012-01-15 11:20:00.000000000 +0100
+++ /tmp/10_linux	2012-02-13 13:45:30.640054405 +0100
@@ -155,7 +155,7 @@
   basename=`basename $linux`
   dirname=`dirname $linux`
   rel_dirname=`make_system_path_relative_to_its_root $dirname`
-  version=`echo $basename | sed -e "s,^[^0-9]*-,,g"`
+  version=`pacman -Qo ${linux}|awk '{printf $5}'`
   base_init=`echo $basename | sed -e "s,vmlinuz,initramfs,g"`
   alt_version="${base_init}-fallback"
   linux_root_device_thisversion="${LINUX_ROOT_DEVICE}"