Skip to content
rename kernel and initramfs, set building timestamp for .efi files