BoardConf: update the bionic conf

We need the other flags, only the krait flag has to be replaced.