diff --git a/sys/pic32/Config.generic b/sys/pic32/Config.generic
index 7ac93f5..5e8f464 100644
--- a/sys/pic32/Config.generic
+++ b/sys/pic32/Config.generic
@@ -9,10 +9,10 @@
 #
 # For details, see http://retrobsd.org/wiki/doku.php/doc/kconfig
 #
-machine         "pic32"
-
-cpu             "PIC32MX7"
-ident           CHIPKIT_MAX
+architecture    "pic32"
+cpu             "PIC32MX7"                  # Processor variant
+board           "CHIPKIT_MAX32"             # Board type
+hz              100                         # Rate of clock interrupt
 
 # Linker script
 ldscript        "cfg/bootloader-max32.ld"
@@ -24,7 +24,6 @@ maxusers        2
 # Standard system options
 options         "CPU_KHZ=80000"             # Oscillator frequency of CPU core
 options         "BUS_KHZ=80000"             # Frequency of peripheral bus
-options         "HZ=100"                    # Rate of clock interrupt
 options         "BUS_DIV=1"                 # Bus clock divisor 1/2/4/8
 options         "EXEC_AOUT"                 # Run a.out binaries
 options         "EXEC_ELF"                  # Run ELF binaries
diff --git a/sys/pic32/Makefile b/sys/pic32/Makefile
index 1ee6825..ab1479d 100644
--- a/sys/pic32/Makefile
+++ b/sys/pic32/Makefile
@@ -15,6 +15,9 @@ install:
 clean:
 		-for i in $(SUBDIR); do ${MAKE} -C $$i clean; done
 
+clean-all:
+		-for i in $(SUBDIR); do ${MAKE} -C $$i clean-all; done
+
 reconfig:
 		-for i in $(SUBDIR); do ${MAKE} -C $$i reconfig; done