tree 72c144559a939bb9a9fb769ad484042a7e5db343
parent e9a9ff4f8b43034c44b23fe7659a9ace66d9dbdc
author Yu Hou <Yu.Hou@data61.csiro.au> 1563469288 +1000
committer Yu Hou <Yu.Hou@data61.csiro.au> 1563469288 +1000

replace kernel_autoconf with sel4_autoconf

since the mainline kernel's kernel_autoconf doesn't include
seL4/gen_config.h but sel4_autoconf does