Replace the use of a reference kernel configuration file from this repository with the use of a defconfig from the linux fork. Signed-off-by: Rob Bradford <rbradford@rivosinc.com>