hulk-4.19 [config]: kernel-kernelVersion-arch.config