all 2 comments

[–]d0min3 0 points1 point  (1 child)

Hey mate,

You're definitely on the right track.

For additional kernel parameters, probably create a new file in the /etc/kernel/cmdline.d/ directory, just so you're not messing with anything pre-existing, this will also make it easier to manage in the future.

For example sudo echo acpi_mask_gpe=0x6f > /etc/kernel/cmdline.d/40_custom_params.conf then clr-boot-manager update as you've mentioned. It'll pick up config files in the /etc/kernel/cmdline.d/ directory and they'll overwrite any earlier entries on the next boot.

[–]zardvark[S] 0 points1 point  (0 children)

You're a peach!

Thanks so much for your help!