Strange problem booting a current release mainline kernel under F14