Tested on my A20 and H3 boards: r363886 GENERIC works r363886 GENERIC-NODEBUG works r363887 GENERIC works r363887 GENERIC-NODEBUG fails to boot Any ideas?