[Bug 414490] Installation did not copy vmlinuz to /boot