docs: clarify usage of GRMLBASE regarding kernel package selection