diff --git a/asus/kfsn4-dre/4.2-542-g3fb73c2/2015-12-08T15:48:17Z/config.short.txt b/asus/kfsn4-dre/4.2-542-g3fb73c2/2015-12-08T15:48:17Z/config.short.txt
new file mode 100644
index 0000000..eb793fb
--- /dev/null
+++ b/asus/kfsn4-dre/4.2-542-g3fb73c2/2015-12-08T15:48:17Z/config.short.txt
@@ -0,0 +1,23 @@
+# This image was built using coreboot 4.2-542-g3fb73c2-dirty
+CONFIG_CBFS_PREFIX="normal"
+CONFIG_USE_OPTION_TABLE=y
+CONFIG_COLLECT_TIMESTAMPS=y
+CONFIG_FLASHMAP_OFFSET=0x0
+CONFIG_BOOTBLOCK_NORMAL=y
+CONFIG_UPDATE_IMAGE=y
+CONFIG_VENDOR_ASUS=y
+# CONFIG_ONBOARD_VGA_IS_PRIMARY is not set
+CONFIG_BOARD_ASUS_KFSN4_DRE=y
+# CONFIG_MAINBOARD_DO_NATIVE_VGA_INIT is not set
+# CONFIG_POST_DEVICE is not set
+CONFIG_DRIVERS_PS2_KEYBOARD=y
+# CONFIG_CONSOLE_SERIAL is not set
+CONFIG_CONSOLE_POST=y
+# CONFIG_POST_IO is not set
+# CONFIG_GENERATE_PIRQ_TABLE is not set
+CONFIG_SEABIOS_MASTER=y
+CONFIG_SEABIOS_VGA_COREBOOT=y
+CONFIG_DEBUG_CBFS=y
+CONFIG_DEBUG_RAM_SETUP=y
+CONFIG_DEBUG_CAR=y
+CONFIG_DEBUG_ACPI=y