On Sat, 28 Apr 2012 02:25:02 +0200 Luc Verhaegen libv@skynet.be wrote:
Surely a specific board name can still be provided on the command line for horribly broken bioses like this?
yes, thanks for the suggestion. apparently i forgot that alternative.