K 10
svn:author
V 8
jhibbits
K 8
svn:date
V 27
2016-12-23T03:08:27.060439Z
K 7
svn:log
V 201
MFC r304047,r304068:

  r304047:
    Add ePAPR boot support for PowerPC book-E (MPC85xx) hardware
  r304068:
    Only flush bp_kernload from the dcache, no need to sync the icache on the
    boot CPU.

END