F7T3: kernel issue

[Patrick <fedora-list puzzled xs4all nl>]

Hi all,

Just installed F7T3 i386 on an Acer TM6465. Install went well and after
I rebooted I noticed that only a Xen kernel was installed. Was it
supposed to do that? Bugzilla?

Next I updated to latest Rawhide and installed a normal kernel with "yum
install kernel". Rebooted, selected the non-Xen kernel and then the boot
failed with:

/bin/nash: error while loading shared libraries: libm.so.6: cannot open
shared object file: no such file or directory
kernel panic - not syncing: Attempt to kill init!

Anyone know how I can fix this?

Thanks,
Patrick