[prefix] Reasonable value for lkrn initrd_addr_max