Well, I'm not a patient person, and don't have lots of time, so I try that hack to get the kernel running:

umount /boot
mkdir /boot.fat
perl -pi -e "s/boot/boot.fat/" /etc/fstab
mount /boot.fat
cp -R /boot.fat/* /boot

Which puts the boot-fat partition in /boot.fat, and makes a copy in /boot. Now, after every kernel-update, one has to manually do

cp -RL /boot/* /boot.fat

but, well, compared with getting into packaging a correct kernel, this is more easy. Sorry, folks...