Is it enough if I give 50GiB to Gentoo root partition when I install on real hardware? I want separate /home and /, my installer also creates 1GiB /efi as the first partition if using UEFI.