* gnu/packages/bootloaders (u-boot-tools)[arguments]<#:phases>[check]: Modify phase. [check-x86]: New phase. [patch]: New phase.