post_install() {
    build_efi_kernels
}