[fedora-arm] Re: How to add default kernel arguments?