%post
set -x

cat << EOF > /etc/sysconfig/kernel
# the latest kernel should be the first entry in the bootloader
# this should be the default, but here we are
UPDATEDEFAULT=yes

# name of the package providing the kernel
DEFAULTKERNEL=kernel-core
EOF

chmod 644 /etc/sysconfig/kernel
%end